Filtering...

we-are-here

books/arithmetic-5/lib/basic-ops/we-are-here
other
(in-package "ACL2")
arith-5-active-flagfunction
(defun arith-5-active-flag
  (foo bar)
  (if (< 17 foo)
    bar
    (not bar)))