269_replace_under_if.mlw 106 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10

use int.Int

constant a : int

constant b : int

axiom H : a = b

goal G : if a > 0 then true else false