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