Fri, 18 Sep 1998 14:32:49 +0200 | paulson | improved error messages | changeset | files |
Wed, 16 Sep 1998 10:28:54 +0200 | paulson | deleted redundant quantifiers | changeset | files |
Tue, 15 Sep 1998 15:10:38 +0200 | paulson | From Compl(A) to -A | changeset | files |