| Fri, 08 Dec 2006 18:22:28 +0100 | paulson | patched up the proofs agsin | changeset | files |
| Fri, 08 Dec 2006 13:40:26 +0100 | paulson | removed use of put_name_hint, as the ATP linkup no longer needs this | changeset | files |
| Thu, 07 Dec 2006 23:16:55 +0100 | wenzelm | reorganized structure Tactic vs. MetaSimplifier; | changeset | files |
| Thu, 07 Dec 2006 21:44:13 +0100 | wenzelm | begin/end blocks; | changeset | files |