progs/prove.scala
changeset 134 e4fda36422dd
parent 132 53e24ca037ce
child 135 e78af5feb655
equal deleted inserted replaced
133:3342571ec447 134:e4fda36422dd