progs/automata/der.sc
changeset 841 564840440523
parent 784 7dac4492b0e6
equal deleted inserted replaced
840:144975842ef5 841:564840440523