progs/automata/der.sc
changeset 856 23273e3a120f
parent 784 7dac4492b0e6
equal deleted inserted replaced
855:1c0a684567d7 856:23273e3a120f