GenAutomata
Sections
NuprlLIB
Doc
Def
mk_imp(hyp, concl) == < hyp,concl >
is mentioned
In prior sections:
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc