progs/automata/der.sc
changeset 952 33b3e790e1d4
parent 784 7dac4492b0e6