src/HOL/ex/Classpackage.thy
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