src/Pure/Isar/isar_document.scala
2009-01-27 wenzelm 2009-01-27 plain non-dependent types;
2009-01-27 wenzelm 2009-01-27 turned IsarDocument into trait for IsabelleProcess;
2009-01-18 wenzelm 2009-01-18 Scala wrapper for interactive Isar documents;