doc-src/AxClass/Group/Semigroups.thy
Sun, 15 Oct 2000 19:51:56 +0200 wenzelm tuned;
Tue, 03 Oct 2000 18:55:23 +0200 wenzelm major cleanup -- improved typesetting;
Mon, 26 Jun 2000 11:43:56 +0200 wenzelm isar-strip-terminators;
less more (0) -3 tip