progs/automata/der.sc
changeset 1026 ee39fd6df150
parent 1007 5ebe843c1184
equal deleted inserted replaced
1025:b963117014ff 1026:ee39fd6df150