Theory: HOL

Parents


Type constants


Term constants


Axioms


Definitions


Theorems