progs/automata/enfa.sc
changeset 970 e15be5466802
parent 884 fa8cc61dfcf0
equal deleted inserted replaced
969:140bf7b1c548 970:e15be5466802