src/Pure/Thy/thy_load.scala
2011-07-04 ago some support for theory files within Isabelle/Scala session;