progs/automata/der.sc
changeset 861 f5709803272b
parent 784 7dac4492b0e6
equal deleted inserted replaced
860:6f80e6df34f7 861:f5709803272b