src/Pure/Isar/code.ML
2007-12-10 ago moved instance parameter management from class.ML to axclass.ML
2007-11-29 ago dropped dead code
2007-11-28 ago tuned interfaces of class module
2007-11-23 ago rudimentary instantiation target
2007-11-06 ago clarified merge
2007-10-11 ago removed obsolete AxClass.params_of_class;
2007-10-09 ago renamed AxClass.get_definition to AxClass.get_info (again);
2007-10-04 ago replaced literal 'a by Name.aT;
2007-10-04 ago certificates for code generator case expressions
2007-10-04 ago clarified terminology
2007-09-26 ago Sign.minimize/complete_sort;
2007-09-20 ago more permissive
2007-09-18 ago distinction between regular and default code theorems
2007-09-15 ago tuned
2007-08-24 ago overloaded definitions accompanied by explicit constants
2007-08-15 ago tuned
2007-08-10 ago new structure for code generator modules