Nuprl - mb_state_machine creation notes

The section "mb_state_machine" of Mark Bickford's General Automata library ported from Nuprl5.

(creation_script.lisp)

Fri Jan 11 13:59:33 EST 2002