src/Pure/Isar/code.ML
2008-05-17 wenzelm 2008-05-17 structure Display: less pervasive operations;
2008-03-28 wenzelm 2008-03-28 Context.>> : operate on Context.generic;
2008-03-27 wenzelm 2008-03-27 eliminated delayed theory setup
2008-01-31 haftmann 2008-01-31 explicit del_funcs
2008-01-25 haftmann 2008-01-25 print postprocessor equations
2007-12-10 haftmann 2007-12-10 moved instance parameter management from class.ML to axclass.ML
2007-11-29 haftmann 2007-11-29 dropped dead code
2007-11-28 haftmann 2007-11-28 tuned interfaces of class module
2007-11-23 haftmann 2007-11-23 rudimentary instantiation target
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