lang/dracula-core.ss
#|
Gathers all the modules together and provides the core forms (more or less).
A few more forms are defined at provided toward the end.
|#
#lang scheme

(require "../private/planet.ss")
(require (cce require-provide))

(require/provide "constants.ss"
                 "conditionals.ss"
                 "let.ss"
                 "quote.ss"
                 "acl2-top.ss"
                 "acl2-app.ss"
                 "declare.ss"
                 "defun.ss"
                 "defconst.ss"
                 "include-book.ss"
                 "in-package.ss"
                 "parameters.ss"
                 "with-prover-time-limit.ss"
                 "case-match.ss"
                 "defthm.ss"
                 "acl2-io.ss"
                 "prover.ss")