WhoCites Definitions mb hybrid Sections GenAutomata Doc

Who Cites bnot?
bnotDef b == if b false else true fi
Thm* b:. b

Syntax:b has structure: bnot(b)

About:
boolbfalsebtrueifthenelsememberall!abstraction

WhoCites Definitions mb hybrid Sections GenAutomata Doc