(
(
(
Racket
)
)
)
Need Help?
About
Download
Documentation
PLaneT
Community
Learning
Home
>
cce
>
dracula.plt
>
package version 7.1
lang
Directories
primitive-procedures
Files
acl.ss
acl2-app.ss
acl2-io.ss
acl2-location-pref.ss
acl2-module-v.ss
acl2-path-to-lisp-command.ss
acl2-reader.ss
acl2-readtable.ss
acl2-settings-sig.ss
acl2-settings.ss
acl2-top.ss
acl2.gif
admit-before-run-pref.ss
case-match.ss
checking-proc.ss
conditionals.ss
config-panel-sig.ss
config-panel.ss
constants.ss
declare.ss
defconst.ss
deflist.ss
defstructure.ss
defthm.ss
defun.ss
doc.txt
dracula-core.ss
dracula-language-interface-sig.ss
dracula-language-interface.ss
dracula-language-sig.ss
dracula-module-begin.ss
dracula.ss
encapsulate.ss
eprintf.ss
event-form.ss
find-acl2.ss
in-package.ss
include-book.ss
let.ss
nil-macros.ss
parameters.ss
printer.ss
prover.ss
quote.ss
reader.ss
require-provide-language.ss
syntax-checks.ss
t-or-nil.ss
teachpack-defun.ss
teachpack-dracula.ss
with-prover-time-limit.ss
![[logo]](/logo.png){kind=logo}
