For more information on full ACL2 (as opposed to ACL2s), see the ACL2 Manual.
1Definitions and Checks
2Booleans and Conditionals
3Equality
4Numbers
5Lists and Pairs
6Symbols
7Strings
8Data Definitions
9The quote form
10Miscellaneous
AltStyle γ«γγ£γ¦ε€ζγγγγγΌγΈ (->γͺγͺγΈγγ«) / γ’γγ¬γΉ: γ’γΌγ: γγγ©γ«γ ι³ε£°γγ©γ¦γΆ γ«γδ»γ ι θ²εθ»’ ζεζ‘倧 γ’γγ€γ«