Nuprl - mb automata 2 creation notes

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

(creation_script.lisp)

Thu Jan 23 12:20:49 EST 2003