progs/automata/der.sc
changeset 803 d4fb8c7fc3bf
parent 784 7dac4492b0e6
equal deleted inserted replaced
802:f4db602f642f 803:d4fb8c7fc3bf