#lang scribble/doc @(require scribble/manual) @title{@bold{Dracula}: ACL2 in DrScheme} @(declare-exporting (planet "language/dracula.scm" ("cce" "dracula.plt" 4 2))) @table-of-contents[] @include-section["dracula.scrbl"] @include-section["acl2.scrbl"] @include-section["include-book.scrbl"] @index-section[]