PrintForm
Definitions
formula
list
Sections
ClassicalProps(jlc)
Doc
At:
list
rank
wf
1
1
2
1.
L:
Formula List
2.
u:
Formula
3.
v:
Formula List
4.
reduce(
x,y.
(x)+y;0;v)
reduce(
x,y.
(x)+y;0;u.v)
By:
Reduce 0
Generated subgoal:
1
(u)+reduce(
x,y.
(x)+y;0;v)
About:
(u)+reduce(
x,y. (x)+y;0;v) 
x,y. (x)+y;0;v) reduce(x,y. (x)+y;0;u.v) (u)+reduce(x,y. (x)+y;0;v) 
