progs/automata.scala
changeset 495 b195fac1903c
parent 121 1946e3f773a0
equal deleted inserted replaced
494:4e0f0309c2ca 495:b195fac1903c