diff options
Diffstat (limited to 'books/workshops/2006/cowles-gamboa-euclid/Euclid/ed5aa.acl2')
| -rw-r--r-- | books/workshops/2006/cowles-gamboa-euclid/Euclid/ed5aa.acl2 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/books/workshops/2006/cowles-gamboa-euclid/Euclid/ed5aa.acl2 b/books/workshops/2006/cowles-gamboa-euclid/Euclid/ed5aa.acl2 new file mode 100644 index 0000000..c04aa51 --- /dev/null +++ b/books/workshops/2006/cowles-gamboa-euclid/Euclid/ed5aa.acl2 @@ -0,0 +1,10 @@ +(in-package "ACL2") + +(defpkg "GAUSS-INT" + (set-difference-eq (union-eq + *acl2-exports* + *common-lisp-symbols-from-main-lisp-package*) +; Subtracted 12/4/2012 by Matt K. for addition to *acl2-exports* ; ; ; + '(nat-listp acl2-number-listp))) + +(certify-book "ed5aa" ? t) |