Mon, 23 Jul 2001 17:47:49 +0200 | paulson | Final version of Florian Kammueller's examples | changeset | files |
Mon, 23 Jul 2001 17:46:40 +0200 | paulson | new GroupTheory examples; PiSets moved to GroupTheory, while LocaleGroup deleted | changeset | files |
Mon, 23 Jul 2001 17:45:54 +0200 | paulson | improved version of the Pi-theorems | changeset | files |