src/Pure/Isar/class_target.ML
2009-06-29 haftmann 2009-06-29 mutual instances
2009-06-17 haftmann 2009-06-17 stripped dead comment
2009-06-14 haftmann 2009-06-14 axclass command now legacy
2009-06-09 haftmann 2009-06-09 tuned make/map/merge combinators
2009-05-24 haftmann 2009-05-24 tuned class user space type system code
2009-05-20 haftmann 2009-05-20 tuned
2009-05-20 haftmann 2009-05-20 avoid potential problem with stale theory
2009-04-28 haftmann 2009-04-28 prevent potential failure
2009-03-28 wenzelm 2009-03-28 simplified Locale.activate operations, using generic context; misc tuning;
2009-03-13 wenzelm 2009-03-13 merged
2009-03-13 haftmann 2009-03-13 coherent binding policy with primitive target operations
2009-03-13 wenzelm 2009-03-13 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-03-08 wenzelm 2009-03-08 moved basic algebra of long names from structure NameSpace to Long_Name;
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