PrintForm
Definitions
bool
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:
bimplies
transitivity
u
,
v
,
w
:
.
u
v
v
w
u
w
By:
(RepeatMFor 3 (Analyze 0)) THEN BoolEval THEN (AbReduce 0)
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
bool
1
Sections
StandardLIB
Search
Doc
u,v,w:
. u
v vw uw u,v,w:. uv vw uw
