Attic/programs/prove3.scala
changeset 506 5446dc1fc992
parent 198 2ce98ee39990
equal deleted inserted replaced
505:5889644b8200 506:5446dc1fc992