progs/automata/der.sc
changeset 1037 0b4a34ebd574
parent 1007 5ebe843c1184
equal deleted inserted replaced
1036:b84e794b9e88 1037:0b4a34ebd574