src/Pure/Isar/class_target.ML
2009-03-07 wenzelm 2009-03-07 more uniform handling of binding in targets and derived elements;
2009-03-05 wenzelm 2009-03-05 renamed NameSpace.base to NameSpace.base_name; renamed NameSpace.map_base to NameSpace.map_base_name; eliminated alias Sign.base_name = NameSpace.base_name;
2009-02-18 haftmann 2009-02-18 more precise improvement in instantiation user space type system
2009-01-26 haftmann 2009-01-26 fixed reading of class specs: declare class operations in context
2009-01-21 haftmann 2009-01-21 allow empty class specs
2009-01-21 haftmann 2009-01-21 code cleanup
2009-01-19 haftmann 2009-01-19 improved tackling of subclasses
2009-01-17 haftmann 2009-01-17 tuned signature
2009-01-17 haftmann 2009-01-17 code cleanup
2009-01-16 haftmann 2009-01-16 migrated class package to new locale implementation
2009-01-11 haftmann 2009-01-11 construct explicit class morphism
2009-01-06 haftmann 2009-01-06 locale -> old_locale, new_locale -> locale
2009-01-05 haftmann 2009-01-05 locale -> old_locale, new_locale -> locale
2009-01-05 haftmann 2009-01-05 rearranged target theories