diff options
| -rw-r--r-- | rabbit-prover.scm | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/rabbit-prover.scm b/rabbit-prover.scm index a3f0a58..b5e7fbc 100644 --- a/rabbit-prover.scm +++ b/rabbit-prover.scm @@ -632,8 +632,7 @@ (define-syntax define-axiom (syntax-rules () ((_ name (var ...) expr) - (current-book - (add-book (axiom 'name '(var ...) 'expr)))))) + (add-book (axiom 'name '(var ...) 'expr))))) (define-syntax define-theorem (syntax-rules () @@ -720,7 +719,7 @@ ((or x . xs) (if x x (or . xs)))) (define-macro atom? () ((atom? x) (not (pair? x)))) - + (define-axiom if-not (x y z) (equal? (if (not x) y |