path: root/books/workshops/2011/krug-et-al/support/Utilities/README

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.