2001-03-30 | nipkow | *** empty log message *** | changeset | files |
2001-03-30 | nipkow | *** empty log message *** | changeset | files |
2001-03-30 | paulson | quantifier instantiation | changeset | files |
2001-03-30 | paulson | the one-point rule for bounded quantifiers | changeset | files |
2001-03-29 | nipkow | generalization of 1 point rules for ALL | changeset | files |
2001-03-29 | nipkow | *** empty log message *** | changeset | files |
Loading... |