progs/automata/enfa.sc
changeset 1011 31e011ce66e3
parent 884 183bfb52d26e
equal deleted inserted replaced
1010:ae9ffbf979ff 1011:31e011ce66e3