(2steps total)
PrintForm
Definitions
core
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
not
over
and
b
A
,
B
:Prop.
A
B
(
A
&
B
)
By:
UnivCD THEN (Analyze 0)
Generated subgoal:
1
1.
A
: Prop
2.
B
: Prop
3.
A
B
4.
A
&
B
False
1
step
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(2steps total)
PrintForm
Definitions
core
StandardLIB
Doc
A,B:Prop. 
A 
B 
(A & B) A,B:Prop. A B (A & B)A B
False
