programs/prove1.scala
changeset 196 22f027da67ec
parent 129 10526c967679