src/Pure/Isar/named_target.ML
2010-08-12 haftmann 2010-08-12 Named_Target.init: empty string represents theory target
2010-08-12 haftmann 2010-08-12 Named_Target.theory_init
2010-08-11 haftmann 2010-08-11 remove reinit operation alltogether
2010-08-11 haftmann 2010-08-11 more convenient split of class modules: class and class_declaration
2010-08-11 haftmann 2010-08-11 tuned
2010-08-11 haftmann 2010-08-11 renamed Theory_Target to the more appropriate Named_Target