← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/workshops/2002/medina-palomo-alonso/support/section-2/npol.acl2

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/workshops/2002/medina-palomo-alonso/support/section-2/npol.acl2
 
1
;;; --------
 
2
;;; Packages
 
3
;;; --------
 
4
 
 
5
(defconst *acl2-and-lisp-exports*
 
6
  (union-eq *acl2-exports* *common-lisp-symbols-from-main-lisp-package*))
 
7
 
 
8
(defpkg "UPOL"
 
9
  (set-difference-eq *acl2-and-lisp-exports* '(= + * - null identity)))
 
10
 
 
11
(defpkg "NPOL"
 
12
  (set-difference-eq *acl2-and-lisp-exports* '(= + * - null identity)))
 
13
 
 
14
(certify-book "npol" ? t)