mb
automata
2
Sections
GenAutomata
Doc
Def
rel_unprime(r) == mk_rel(r.name, map(
t.unprime(t);r.args))
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
automata
2
Sections
GenAutomata
Doc