WhoCites Definitions mb automata 4 Sections GenAutomata Doc

Who Cites bor?
borDef p q == if p true else q fi
Thm* p,q:. (p q)

Syntax:p q has structure: bor(p; q)

About:
boolbtrueifthenelsememberall!abstraction

WhoCites Definitions mb automata 4 Sections GenAutomata Doc