| Fri, 23 Dec 2005 15:21:05 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2005 15:18:13 +0100 | wenzelm | * Provers/induct: support simultaneous goals with mutual rules; | changeset | files |
| Fri, 23 Dec 2005 15:16:58 +0100 | wenzelm | induct etc.: admit multiple rules; | changeset | files |