progs/automata/der.sc
changeset 855 1c0a684567d7
parent 784 7dac4492b0e6
equal deleted inserted replaced
854:ce4a7bab6bd8 855:1c0a684567d7