progs/automata/der.sc
changeset 1014 8400bbdef1b7
parent 1008 eeeba9f76201
equal deleted inserted replaced
1013:1a23d87d1700 1014:8400bbdef1b7