(15steps)
PrintForm
Definitions
mb
automata
2
Sections
GenAutomata
Doc
At:
rel
mentions
iff
1
1
1.
r:
rel()
2.
x:
Label
3.
l:
Term List
(
i:
. i < 0 & (x
term_vars(nil[i])))
(x
nil)
By:
Auto
THEN
ExRepD
Generated subgoal:
1
4.
(x
nil)
i:
. i < 0 & (x
term_vars(nil[i]))
About:
(15steps)
PrintForm
Definitions
mb
automata
2
Sections
GenAutomata
Doc
nil)
i:
. i < 0 & (x term_vars(nil[i]))
(i:. i < 0 & (x term_vars(nil[i]))) 
(x nil)
nil) i:. i < 0 & (x term_vars(nil[i]))
