For more information on full ACL2 (as opposed to ACL2s), see the ACL2 Manual.
1 Definitions and Checks
2 Booleans and Conditionals
3 Equality
4 Numbers
5 Lists and Pairs
6 Symbols
7 Strings
8 Data Definitions
9 The quote form
10 Miscellaneous