| Fri, 30 Mar 2001 18:12:26 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 30 Mar 2001 16:12:57 +0200 | nipkow | *** empty log message *** | changeset | files |
| 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 |
| Thu, 29 Mar 2001 12:26:37 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 29 Mar 2001 10:44:37 +0200 | paulson | misc tidying; changing the predicate isSymKey to the set symKeys | changeset | files |
| Wed, 28 Mar 2001 13:40:06 +0200 | nipkow | Got rid of is_dfa | changeset | files |