; Contributed by Scott L. Burson; based on Makefile in this directory.

(in-package "ACL2")

(certify-book "csort" 0)
:u

(certify-book "dump-events" 0)
:u

(certify-book "expander" 0)
:u

(certify-book "meta-lemmas" 0)
:u

(certify-book "sin-cos" 0)
:u