src/HOL/ex/Classpackage.thy
2006-06-28 haftmann 2006-06-28 improvements in Classpackage
2006-06-27 haftmann 2006-06-27 slight improvement
2006-06-21 haftmann 2006-06-21 hyps better than prems
2006-06-20 haftmann 2006-06-20 switched to open locales for classes
2006-06-14 haftmann 2006-06-14 slight adaptions
2006-04-08 wenzelm 2006-04-08 refined 'abbreviation';
2006-04-06 haftmann 2006-04-06 small type annotation fix
2006-03-17 haftmann 2006-03-17 added example for operational classes and code generator