Theory: hoare_logic_tc
Parents
halts_thms
Type constants
Term constants
Axioms
Definitions
Theorems