src/HOL/Tools/typecopy_package.ML
2007-09-18 haftmann 2007-09-18 introduced generic concepts for theory interpretators
2007-09-18 haftmann 2007-09-18 distinction between regular and default code theorems
2007-08-17 haftmann 2007-08-17 reoriented hook application order
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2007-03-20 haftmann 2007-03-20 improved treatment of defining equations stemming from specification tools
2007-03-09 haftmann 2007-03-09 dropped code datatype certificates
2006-12-07 wenzelm 2006-12-07 reorganized structure Tactic vs. MetaSimplifier;
2006-12-06 wenzelm 2006-12-06 simplified ML bindings;
2006-10-04 haftmann 2006-10-04 clarified header comments
2006-10-02 haftmann 2006-10-02 tuned
2006-09-19 haftmann 2006-09-19 code generation 2 adjustments
2006-09-06 haftmann 2006-09-06 TypedefPackage.add_typedef_* now yields name of introduced type constructor
2006-08-29 haftmann 2006-08-29 added typecopy_package