Nuprl - Pf maction_wf 1 2 1

PrintForm Definitions action sets Sections AutomataTheory Doc

At: maction wf 1 2 1

1. Alph: Type
2. S: ActionSet(Alph)
3. L: Alph*
4. s: S.car

null(nil)

By: AbReduce 0 THEN Trivial

Generated subgoals:

None

About: