src/Pure/Thy/thy_load.scala
Mon, 04 Jul 2011 16:27:11 +0200 wenzelm some support for theory files within Isabelle/Scala session;
less more (0) tip