| Sat, 29 Jul 2006 00:51:29 +0200 | wenzelm | Goal.prove: more tactic arguments; | changeset | files |
| Fri, 28 Jul 2006 18:37:25 +0200 | paulson | Checking for unsound proofs. Tidying. | changeset | files |
| Fri, 28 Jul 2006 18:36:24 +0200 | paulson | "all theorems" mode forces definition-expansion off. | changeset | files |