#lang scribble/doc
@(require scribble/manual scribble/eval "../evaluator.ss"
(for-label "../../lang/dracula.ss"))
@title[#:tag "teachpacks" #:style 'toc]{Teachpacks}
These books are not a part of the ACL2 distribution; they were developed for
classroom use and are distributed with Dracula. Some of them make use of
DrScheme's imperative capabilities such as interactive animations and automated
unit testing.
@local-table-of-contents[]
@include-section["audio.scrbl"]
@include-section["avl-rational-keys.scrbl"]
@include-section["binary-io-utilities.scrbl"]
@include-section["doublecheck.scrbl"]
@include-section["io-utilities.scrbl"]
@include-section["list-utilities.scrbl"]
@include-section["rand.scrbl"]
@include-section["testing.scrbl"]
@include-section["world.scrbl"]