diff options
Diffstat (limited to 'books/workshops/2006/cowles-gamboa-euclid/Euclid/ed1.acl2')
-rw-r--r-- | books/workshops/2006/cowles-gamboa-euclid/Euclid/ed1.acl2 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/books/workshops/2006/cowles-gamboa-euclid/Euclid/ed1.acl2 b/books/workshops/2006/cowles-gamboa-euclid/Euclid/ed1.acl2 new file mode 100644 index 0000000..7d2c858 --- /dev/null +++ b/books/workshops/2006/cowles-gamboa-euclid/Euclid/ed1.acl2 @@ -0,0 +1,7 @@ +(in-package "ACL2") + +; [Jared] changed this to load the packages directly from cowles, instead of +; redefining them, so we can more easily change them. +(include-book "cowles/portcullis" :dir :system) + +(certify-book "ed1" ? t) |