WhoCites Definitions mb automata 4 Sections GenAutomata Doc

Who Cites bool?
boolDef == Unit+Unit
Thm* Type

Syntax: has structure: bool

About:
boolunitunionuniversemember!abstraction

WhoCites Definitions mb automata 4 Sections GenAutomata Doc