ricky@ricky-PB ~/deleteme
$ wget -q http://scalacheck.googlecode.com/files/ScalaCheck-1.1.1.jar

ricky@ricky-PB ~/deleteme
$ scala -classpath '.;ScalaCheck-1.1.1.jar'
Welcome to Scala version 2.6.0-final.
Type in expressions to have them evaluated.
Type :help for more information.

scala> import org.scalacheck._
import org.scalacheck._

scala> import Arbitrary._
import Arbitrary._

scala> import Prop._
import Prop._

scala> val prop_AddingInts=property { (one: Int,two: Int) => one+two-two==one }
java.lang.NoClassDefFoundError: scala/runtime/BoxesRunTime
        at org.scalacheck.Arbitrary$$anon$5.getArbitrary(Arbitrary.scala:101)
        at org.scalacheck.Arbitrary$.arbitrary(Arbitrary.scala:36)
        at org.scalacheck.Prop$.property(Prop.scala:304)
        at org.scalacheck.Prop$.property(Prop.scala:311)
        at org.scalacheck.Properties$class.specify(Properties.scala:30)
        at org.scalacheck.Prop$.s...