Fri, 30 Mar 2001 13:29:16 +0200 | paulson | quantifier instantiation | changeset | files |
Fri, 30 Mar 2001 12:31:10 +0200 | paulson | the one-point rule for bounded quantifiers | changeset | files |
Thu, 29 Mar 2001 13:59:54 +0200 | nipkow | generalization of 1 point rules for ALL | changeset | files |