progs/automata.scala
changeset 491 2a30c7dfe3ed
parent 121 1946e3f773a0
equal deleted inserted replaced
490:f70d74fea67f 491:2a30c7dfe3ed