Since Scala is becoming more and more important for Isabelle system programming, some of you might be interested in the new book from O'Reilly: http://oreilly.com/catalog/9780596155957/index.html http://programming-scala.labs.oreilly.com/ Makarius