src/Pure/Isar/code_unit.ML
2009-02-20 haftmann 2009-02-20 maintain order of constructors in datatypes; clarified conventions for type schemes
2009-01-01 wenzelm 2009-01-01 avoid polymorphic equality;
2008-12-31 wenzelm 2008-12-31 moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
2008-10-29 haftmann 2008-10-29 explicit check for pattern discipline before code translation
2008-10-28 haftmann 2008-10-28 assert that no class parameter is used as constructor
2008-09-30 haftmann 2008-09-30 clarified codegen interfaces
2008-09-26 haftmann 2008-09-26 clarified function transformator interface
2008-09-25 haftmann 2008-09-25 discontinued special treatment of op = vs. eq_class.eq
2008-09-22 haftmann 2008-09-22 corrected sort intersection
2008-08-28 haftmann 2008-08-28 restructured and split code serializer module
2008-08-27 haftmann 2008-08-27 proper handling of type variabl names
2008-07-15 haftmann 2008-07-15 tuned
2008-07-14 haftmann 2008-07-14 dropped junk
2008-07-14 haftmann 2008-07-14 added further simple interfaces
2008-05-23 haftmann 2008-05-23 explicit type schemes for functions
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-04-24 haftmann 2008-04-24 moved 'trivial classes' to foundation of code generator
2008-04-10 wenzelm 2008-04-10 tuned;
2008-04-10 wenzelm 2008-04-10 export subst_alias; moved read_const_exprs to Tools/code_package.ML -- avoids dependency on ThyInfo;
2008-04-02 haftmann 2008-04-02 subst_alias
2008-03-20 haftmann 2008-03-20 rearranged
2008-03-19 haftmann 2008-03-19 moved typ_of_inst to Type.typ_of_sort
2008-03-07 haftmann 2008-03-07 some steps towards a refined treatment of equality
2008-02-22 haftmann 2008-02-22 added further interface for reading constants
2007-12-10 haftmann 2007-12-10 moved instance parameter management from class.ML to axclass.ML
2007-12-05 haftmann 2007-12-05 added constrain_thm
2007-11-28 haftmann 2007-11-28 tuned interfaces of class module
2007-11-08 haftmann 2007-11-08 tuned
2007-10-08 haftmann 2007-10-08 tuned
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-09-25 wenzelm 2007-09-25 Syntax.parse/check/read;
2007-09-18 haftmann 2007-09-18 distinction between regular and default code theorems
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-10 haftmann 2007-08-10 new structure for code generator modules