src/HOL/AxClasses/Group.thy
2005-09-06 wenzelm 2005-09-06 axclass: name space prefix is now "c_class" instead of just "c";
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2001-02-05 wenzelm 2001-02-05 tuned
2000-12-15 wenzelm 2000-12-15 GPLed;
2000-10-03 wenzelm 2000-10-03 moved axclass tutorial examples to top dir;