progs/automata/enfa.sc
changeset 920 7af2eea19646
parent 884 183bfb52d26e
equal deleted inserted replaced
919:53f08d873e09 920:7af2eea19646