progs/automata/enfa.sc
changeset 970 1d4659dd83fe
parent 884 183bfb52d26e
equal deleted inserted replaced
969:0dfa2923a7c6 970:1d4659dd83fe