relation
autom
The section "relation" of the Nogin Automata Library in nuprl/lib/theories/automata/.
(creation_script.lisp)