programs/prove1.scala
changeset 130 4e8482e50590
parent 129 10526c967679