Theory: prog_logic

Parents


Type constants


Term constants


Axioms


Definitions


Theorems