Contrib library theories
There is a lot of redundancy in these hyperlinks, which we hope to eliminate as these libraries mature.
finite_functions
CSP
Hoare's CSP.
fixpoint
Scott's fixpoint theory.
safety_automata
Infinite state automata theory
HOFML
(737570 bytes!)
Semantics of SML.
core_determinacy
More semantics of SML.
apply_f_until_finished
Used in the "generator" library.