progs/automata/der.sc
changeset 957 34b3aeb65fbe
parent 784 7dac4492b0e6
equal deleted inserted replaced
956:ae9782e62bdd 957:34b3aeb65fbe