Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Debugging
Projects
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Io
Defttag
Sys-call
Save-exec
Quicklisp
Oslib
Std/io
Bridge
Clex
Tshell
Unsound-eval
Hacker
ACL2s-interface
Startup-banner
Command-line
Save-exec
Argv
Getopt
Demo-p
Defoptions
Demo2
Demo2-opts-p
Parse-demo2-opts
Demo2-opts
Make-demo2-opts
Change-demo2-opts
Make-honsed-demo2-opts
Honsed-demo2-opts
*demo2-opts-usage*
Demo2-opts->version
Demo2-opts->help
Demo2-opts->fail
Demo2-main
Parsers
Sanity-check-formals
Formal->parser
Formal->argname
Formal->longname
Formal->alias
Formal->usage
Formal->merge
Formal->hiddenp
Hardware-verification
Software-verification
Math
Testing-utilities
Demo2-opts-p
Demo2-opts->help
Access the
help
field of a
demo2-opts-p
structure.