programs/prove1.scala
2012-10-30 Christian Urban added slides
less more (0) tip