Theory: prog_logic
Parents
hoare_logic_pc
hoare_logic_tc
dijkstra
Type constants
Term constants
Axioms
Definitions
Theorems