progs/automata/der.sc
changeset 923 437e4f8d35d8
parent 784 7dac4492b0e6
equal deleted inserted replaced
922:e86ea06e3b25 923:437e4f8d35d8