Fri, 23 Dec 2005 17:34:46 +0100 | paulson | tidied | changeset | files |
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 |