progs/automata/enfa.sc
changeset 971 51e00f223792
parent 884 183bfb52d26e
equal deleted inserted replaced
970:1d4659dd83fe 971:51e00f223792