Definitions GenAutomata Sections NuprlLIB Doc

No mentions to report in GenAutomata
relname_eqDef relname_eq(x) == inl(x)
Thm* x:SimpleType. relname_eq(x) relname()

About:
inlmemberall!abstraction

Definitions GenAutomata Sections NuprlLIB Doc