progs/automata/enfa.sc
changeset 941 66adcae6c762
parent 884 183bfb52d26e
equal deleted inserted replaced
940:46eee459a999 941:66adcae6c762