progs/automata/der.sc
changeset 822 6b06aeb192ea
parent 784 7dac4492b0e6
equal deleted inserted replaced
821:f914b9476dc7 822:6b06aeb192ea