Library theories
set
Set theory.
pred_set
Sets-as-predicates.
integer
The integers, derived from group theory.
comp_unity
Chandy and Misra's UNITY formalism.
prog_logic
Various programming logics.
pair_thms
Support for pairs.
TRANSC
The real numbers.
WELLORDER
Wellordering and AC.
window
Window inference support.
List
Extensive development of list theory.
word
Bitstrings.