Nuprl - mb automata 2 Citations of vc hyp

Def vc_hyp(v) == Case(v) Case vc_imp(x) = > x.hyp Case vc_qimp(x) = > x.hyp Default = > False

is not mentioned in this or prior sections.

Try larger context: GenAutomata