progs/automata/enfa.sc
changeset 1006 f6dec8af3d80
parent 884 183bfb52d26e
equal deleted inserted replaced
1005:0ffb6e4de10a 1006:f6dec8af3d80