Theory: HOL
Parents
restr_binder
sum
one
rec_type
Type constants
Term constants
Axioms
Definitions
Theorems