src/HOL/AxClasses/Group.thy
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;