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