src/Pure/Isar/class_declaration.ML
2010-08-13 haftmann 2010-08-13 corrected handling of `constrains` elements
2010-08-12 haftmann 2010-08-12 named target is optional
2010-08-12 haftmann 2010-08-12 Named_Target.init: empty string represents theory target
2010-08-11 haftmann 2010-08-11 merged
2010-08-11 haftmann 2010-08-11 more convenient split of class modules: class and class_declaration