Fri, 20 Dec 1996 10:25:26 +0100 | paulson | Simplification and generalization of the guarantees. | changeset | files |
Fri, 20 Dec 1996 10:23:48 +0100 | paulson | Corrected comments | changeset | files |
Thu, 19 Dec 1996 17:02:27 +0100 | oheimb | corrected headers | changeset | files |