(3steps total)
PrintForm
NuprlPrimitives
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa
doc
imp
typing
1
1.
A
: Prop
2.
B
: Prop(given
A
)
3.
A
B
Prop
By:
B
Prop(given
A
) Asserted
Generated subgoal:
1
4.
B
Prop(given
A
)
B
Prop
1
step
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(3steps total)
PrintForm
NuprlPrimitives
Sections
NuprlLIB
Doc
B 
Prop B Prop Prop(given A) Asserted Prop(given A)
B Prop
