Definitions GenAutomata Sections NuprlLIB Doc

No mentions to report in GenAutomata
relname_otherDef relname_other(x) == inr(x)
Thm* x:Label. relname_other(x) relname()

About:
inrmemberall!abstraction

Definitions GenAutomata Sections NuprlLIB Doc