src/Pure/Isar/code.ML
2007-11-06 haftmann 2007-11-06 clarified merge
2007-10-11 wenzelm 2007-10-11 removed obsolete AxClass.params_of_class; tuned;
2007-10-09 wenzelm 2007-10-09 renamed AxClass.get_definition to AxClass.get_info (again);
2007-10-04 wenzelm 2007-10-04 replaced literal 'a by Name.aT;
2007-10-04 haftmann 2007-10-04 certificates for code generator case expressions
2007-10-04 haftmann 2007-10-04 clarified terminology
2007-09-26 wenzelm 2007-09-26 Sign.minimize/complete_sort;
2007-09-20 haftmann 2007-09-20 more permissive
2007-09-18 haftmann 2007-09-18 distinction between regular and default code theorems
2007-09-15 haftmann 2007-09-15 tuned
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-15 haftmann 2007-08-15 tuned
2007-08-10 haftmann 2007-08-10 new structure for code generator modules