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