Nuprl - GenAutomata Citations of vc concl

Def vc_concl(v) == Case(v) Case vc_imp(x) = > x.concl Case vc_qimp(x) = > x.concl Default = > False

is mentioned

In prior sections: mb automata 4