Thms
choice
1
Sections
AutomataTheory
Doc
bor
Def
p
q == if p
true
else q fi
Thm*
p,q:
. (p
q)
About:
q == if p
true else q fi
p,q:
. (p q) 
q == if p true else q fi
