defpkg.lsp « support « gamboa-cowles-van-baalen « 2003 « workshops « books - acl2 - Debian dgit repo for package acl2

summary refs log tree commit diff

path: root/books/workshops/2003/gamboa-cowles-van-baalen/support/defpkg.lsp

blob: bd06d48c96e01eac345b936ce7d531ef9a037072 (plain)

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