PrintForm
Definitions
assignment
Sections
ClassicalProps(jlc)
Doc
At:
restriction
wf
1
1.
a':
Assignment
2.
a:
Assignment
a'
a
Assignment
By:
Unfolds [`Assignment`;`restriction`] 0
Generated subgoal:
1
3.
x:
Var
case (a(x)): 3
(a'(x)); 3
3
; 3
(a'(x));
About:
case (a(x)): 3
(a'(x)); 3
3; 3
(a'(x)); 
a'
a Assignment case (a(x)): 3 (a'(x)); 3 3; 3 (a'(x)); 
