GenAutomata Sections NuprlLIB Doc

Def mk_qimp(lbl, hyp, concl) == < lbl,hyp,concl >

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc