GenAutomata
Sections
NuprlLIB
Doc
Def
Case v = > case cont(x) == if x=
v
case else cont(x) fi
is mentioned
In prior sections:
prog
1
GenAutomata
Sections
NuprlLIB
Doc
v
case else cont(x) fi