progs/automata.scala
changeset 242 35104ee14f87
parent 93 4794759139ea
equal deleted inserted replaced
241:10f02605a46a 242:35104ee14f87