books/workshops/2002/cowles-flat/support/flat-primitive.acl2


1
2
3
4
5
6

(in-package "ACL2")
(defpkg "FLAT"
  (union-eq *acl2-exports*
            *common-lisp-symbols-from-main-lisp-package*))

(certify-book "flat-primitive" ? t)