progs/automata/der.sc
changeset 989 aa976b429904
parent 784 7dac4492b0e6
equal deleted inserted replaced
988:2857dcb18458 989:aa976b429904