Index of books/kestrel/utilities

Directories

• error-checking
• system

Files

• acl2-count
• assoc-keyword
• chk-length-and-keys
• coerce
• defmacrodoc
• defmacroq
• defthmr
• digit-to-char
• enumerations
• equal-of-booleans
• er-soft-plus
• explode-atom
• explode-nonnegative-integer
• intern-in-package-of-symbol
• keyword-value-listp
• keyword-value-lists
• keyword-value-lists2
• lookup-keyword
• macro-args
• make-termination-theorem
• map-symbol-name
• member-symbol-name
• messages
• msgp
• myquotep
• nat-to-string
• ordinals
• orelse
• our-digit-char-p
• pack
• polarity
• print-base-p
• quote
• read-acl2-oracle
• state
• strings
• tables
• trans-eval-error-triple
• translate
• update-acl2-oracle