cert.acl2 « lists « support « smith-et-al « 2004 « workshops « books - acl2 - Debian dgit repo for package acl2

summary refs log tree commit diff

path: root/books/workshops/2004/smith-et-al/support/lists/cert.acl2

blob: c338efd8389c47c633c189674263259ebcccb584 (plain)

(defpkg "LIST" (append '(mfc-clause mfc-ancestors let term-order) *acl2-exports*)) ;i'm not sure what we need to be in this...