finite sets


The section "finite_sets" of the Automata Library in nuprl/lib/theories/automata/.

(creation_script.lisp)