Theory: BASIC_HOL

Parents

• num
• pair

Type constants

Term constants

Axioms

Definitions

Theorems