PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
beq
wf
1
1.
p:
2.
q:
if p
q else
q fi
By:
BoolCases 1
THEN
Reduce 0
Generated subgoals:
None
About:
if p
q else 
q fi 
