Nuprl - Pf add_action_wf 1

PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: add action wf 1

1. St: Type
2. l: St*
3. f: StSt

(+f)(l) St*

By: ListInd 2 THEN RecUnfold `add_action` 0 THEN Reduce 0

Generated subgoals:

None

About: