progs/automata1.scala
changeset 779 5385c8342f02
parent 93 4794759139ea
equal deleted inserted replaced
778:3e5f5d19f514 779:5385c8342f02