progs/automata/enfa.sc
changeset 947 dc31a099dc98
parent 884 183bfb52d26e
equal deleted inserted replaced
946:bee7c57c18c3 947:dc31a099dc98