(3steps)
PrintForm
int
2
Sections
StandardLIB
Doc
At:
zero
ann
a
a,b:
. a = 0
b = 0
a
b = 0
By:
UnivCD
THEN
Analyze -1
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
int
2
Sections
StandardLIB
Doc
a
b = 0 ab = 0 
a,b:. a = 0 
b = 0 
ab = 0 ab = 0 ab = 0
