(6steps total)
PrintForm
Definitions
Lemmas
core
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
not
over
and
2
1.
A
: Prop
2.
B
: Prop
3. Dec(
A
)
4.
A
B
(
A
&
B
)
By:
BackThru
Thm*
A
B
(
A
&
B
)
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(6steps total)
PrintForm
Definitions
Lemmas
core
StandardLIB
Doc
A 
B
(A & B)A B
(A & B)A B 
(A & B)
