Nuprl - GenAutomata Citations of trace consistent vc

Def trace_consistent_vc(rho;da;R;v) == trace_consistent_pred(rho;da;R;vc_hyp(v)) & trace_consistent_pred(rho;da;R;vc_concl(v))

is mentioned

In prior sections: mb automata 4