progs/automata/der.sc
changeset 886 8a8d87394608
parent 784 7dac4492b0e6
equal deleted inserted replaced
885:526aaee62a3e 886:8a8d87394608