doc-src/System/Thy/Scala.thy
2012-04-28 wenzelm 2012-04-28 some coverage of Isabelle/Scala tools;