
total-order: Provides a total order on ACL2 objects

records: Provides a handy way of defining record structures.

misc: Stuff that didn't fit elsewhere easily.
