(65steps) (too big for print form)
Definitions
Lemmas
mb
automata
4
Sections
GenAutomata
Doc
At:
rel
subst
mng
2
iff
4
1.
r:
rel()
2.
as:
(Label
Term) List
3.
ds:
Collection{i}(dec())
4.
daa:
Collection{i}(dec())
5.
da:
Collection{i}(SimpleType)
6.
de:
sig()
7.
rho:
Decl{i}
8.
sig_mng{i:l}(de; rho) = sig_mng{i:l}(de; rho)
9.
zzz:
Decl{i}
Decl{i'}
Decl{i}
Decl{i'}
By:
Unfold `decl` 0
Generated subgoals:
None
About:
(65steps) (too big for print form)
Definitions
Lemmas
mb
automata
4
Sections
GenAutomata
Doc
Term) List
Decl{i'}
Decl{i} 
Decl{i'}