src/Pure/System/isar_document.ML
Sat, 14 Aug 2010 18:43:45 +0200 wenzelm moved isar_document.ML/scala to Pure/System/ -- side-by-side with isar.ML;
less more (0) tip