mb
record
Doc
The section "mb_record" of Mark Bickford's General Automata library ported from Nuprl5.
(creation_script.lisp)
Thu Jan 10 12:33:15 EST 2002
mb
record
Doc