progs/automata/der.sc
changeset 951 9e7147f33219
parent 784 7dac4492b0e6
equal deleted inserted replaced
950:fa97d2f60f11 951:9e7147f33219