Thu, 24 Sep 1998 17:07:24 +0200 | paulson | renamed some axioms; some new theorems | changeset | files |
Thu, 24 Sep 1998 16:53:14 +0200 | oheimb | introduced addSE2, addSD2, addE2, and addD2 | changeset | files |
Thu, 24 Sep 1998 16:53:00 +0200 | oheimb | improved description of looper and splitter | changeset | files |