(6steps total)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
absval
elim
P
:(
Prop). (
x
:
.
P
(|
x
|))
(
x
:
.
P
(
x
))
By:
Analyze
Generated subgoal:
1
1.
P
:
Prop
(
x
:
.
P
(|
x
|))
(
x
:
.
P
(
x
))
5
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(6steps total)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
P:(
Prop). (x:. P(|x|)) 
(x:
. P(x)) P:(Prop). (x:. P(|x|)) (x:. P(x))Prop
(x:. P(|x|)) (x:. P(x))
