src/Pure/Isar/class_target.ML
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