mb
declaration
Doc
The section "mb_declaration" of Mark Bickford's General Automata library ported from Nuprl5.
(creation_script.lisp)
Wed Jan 9 18:16:50 EST 2002
mb
declaration
Doc
