programs/prove1.scala
changeset 196 22f027da67ec
parent 129 10526c967679
equal deleted inserted replaced
195:78309f29a58f 196:22f027da67ec