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