(3steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
zero
ann
b
a,b:
.
a
b = 0
a = 0 &
b = 0
By:
GenUnivCD
THEN
Analyze 0
THEN
Analyze -2
Generated subgoals:
1
1.
a:
2.
b:
3.
a = 0
a
b = 0
2
1.
a:
2.
b:
3.
b = 0
a
b = 0
About:
(3steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
a
b = 0 ab = 0 
a,b:. 
ab = 0 
a = 0 & b = 0 ab = 0 ab = 0
