src/HOL/Isar_examples/Group.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2000-10-03 wenzelm 2000-10-03 tuned names; added more theorems of group theory (from old AxClasses/Group/Group.ML);
2000-09-17 wenzelm 2000-09-17 isar-strip-terminators;
2000-05-22 wenzelm 2000-05-22 tuned;
1999-10-30 wenzelm 1999-10-30 improved presentation;
1999-10-28 wenzelm 1999-10-28 improved presentation;
1999-10-15 wenzelm 1999-10-15 improved presentation;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-10-05 wenzelm 1999-10-05 tuned comments;
1999-09-04 wenzelm 1999-09-04 replaced ?? by ?;
1999-09-01 wenzelm 1999-09-01 "this";
1999-08-25 wenzelm 1999-08-25 expand_classes renamed to intro_classes;
1999-07-30 wenzelm 1999-07-30 renamed 'same' to '-';
1999-07-14 wenzelm 1999-07-14 tuned comments;
1999-07-06 wenzelm 1999-07-06 simp only;
1999-07-03 wenzelm 1999-07-03 tuned;
1999-07-01 wenzelm 1999-07-01 renamed with/APP to of/OF;
1999-06-05 wenzelm 1999-06-05 groups as monoids; tuned;
1999-06-05 wenzelm 1999-06-05 proper calculation;
1999-06-04 wenzelm 1999-06-04 Some bits of group theory. Demonstrate calculational proofs.