PrintForm
Definitions
assignment
Sections
ClassicalProps(jlc)
Doc
At:
restriction
wf
a',a:Assignment. a'
a
Assignment
By:
UnivCD
Generated subgoal:
1
1.
a':
Assignment
2.
a:
Assignment
a'
a
Assignment
About:
a'
a 
Assignment 
a',a:Assignment. a'a Assignment a'a Assignment
