progs/prove.scala
changeset 171 6cdf4d3906e2
parent 136 058504a45c34