WhoCites
Definitions
mb
automata
1
Sections
GenAutomata
Doc
Who Cites bnot?
bnot
Def
b == if b
false
else true
fi
Thm*
b:
.
b
Syntax:
b
has structure:
bnot(b)
About:
WhoCites
Definitions
mb
automata
1
Sections
GenAutomata
Doc