src/Pure/Tools/class_package.ML
2006-01-21 wenzelm 2006-01-21 simplified type attribute;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2006-01-17 haftmann 2006-01-17 substantial improvements in code generator
2006-01-13 wenzelm 2006-01-13 uniform handling of fixes;
2006-01-06 wenzelm 2006-01-06 Toplevel.theory_to_proof;
2006-01-04 haftmann 2006-01-04 substantial additions using locales
2006-01-03 haftmann 2006-01-03 add_local_context now yields imported and body elements seperatly; additional slight clenup in code
2005-12-27 haftmann 2005-12-27 substantial improvements in code generating
2005-12-09 haftmann 2005-12-09 substantial improvements for class code generation
2005-12-06 haftmann 2005-12-06 improved class handling
2005-12-02 haftmann 2005-12-02 various improvements
2005-12-02 haftmann 2005-12-02 introduced new map2, fold
2005-11-30 haftmann 2005-11-30 minor improvements
2005-11-14 haftmann 2005-11-14 class_package - operational view on type classes
2005-08-28 haftmann 2005-08-28 (allocating new branch)