Nuprl - mb automata 4 Citations of case ts var

Def Case ts_var(x) = > body(x) cont(x1,z) == InjCase(x1; x2. body(x2); _. cont(z,z))

is mentioned

In prior sections: mb automata 1

Try larger context: GenAutomata