(6steps total)
PrintForm
Definitions
NuprlPrimitives
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa
doc
not
via
so
A
:Prop.
A
(
C
:Prop.
A
C
)
By:
UnivCD
Generated subgoal:
1
1.
A
: Prop
A
(
C
:Prop.
A
C
)
5
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(6steps total)
PrintForm
Definitions
NuprlPrimitives
Sections
NuprlLIB
Doc
A:Prop. 
A 
(C:Prop. A 
C) A:Prop. A (C:Prop. A C) A (C:Prop. A C)
