progs/automata/der.sc
changeset 1008 7431e391682f
parent 1007 5ebe843c1184
equal deleted inserted replaced
1007:5ebe843c1184 1008:7431e391682f