← Back to branch summary

~ubuntu-branches/ubuntu/gutsy/acl2/gutsy

« back to all changes in this revision

Viewing changes to books/arithmetic-3/pass1/mini-theories.lisp

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2006-12-04 10:35:42 UTC
  • mfrom: (1.1.5 upstream) (3.1.1 etch)
  • Revision ID: james.westby@ubuntu.com-20061204103542-68nf4pkilci0018n
Tags: 3.1-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/arithmetic-3/pass1/mini-theories.lisp
58
58
;; a macro to enforce the theory invariant more fully.
59
59
 
60
60
(theory-invariant
61
 
 (not (and (member-equal '(:rewrite Uniqueness-of-*-inverses) theory)
62
 
           (member-equal '(:rewrite equal-/) theory))))
 
61
 (not (and (active-runep '(:rewrite Uniqueness-of-*-inverses))
 
62
           (active-runep '(:rewrite equal-/)))))
63
63
 
64
64
 
65
65
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;