(4steps total)
PrintForm
Definitions
Lemmas
num
thy
1
Sections
StandardLIB
Search
Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
absval
assoced
1
1.
a
:
if 0
a
a
else -
a
fi ~
a
By:
SplitOnConclITE
Generated subgoals:
1
2. 0
a
a
~
a
1
step
2
2.
a
<0
(-
a
) ~
a
1
step
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
(4steps total)
PrintForm
Definitions
Lemmas
num
thy
1
Sections
StandardLIB
Search
Doc
if 0
a
a else -a fi ~ a
