path: root/books/workshops/2003/gamboa-cowles-van-baalen/support/kalman-proof.acl2

(in-package "ACL2")
(ld "defpkg.lsp")
; cert-flags: ? t :skip-proofs-okp t :defaxioms-okp t
(certify-book "kalman-proof" ? t :skip-proofs-okp t :defaxioms-okp t)