progs/automata/der.sc
changeset 876 771396fa6cc4
parent 784 7dac4492b0e6
equal deleted inserted replaced
875:49d21814a633 876:771396fa6cc4