| Wed, 04 Jan 2006 00:52:40 +0100 | wenzelm | removed dead code; | changeset | files |
| Wed, 04 Jan 2006 00:52:38 +0100 | wenzelm | more stuff; | changeset | files |
| Tue, 03 Jan 2006 15:44:39 +0100 | paulson | Provers/classical: stricter checks to ensure that supplied intro, dest and | changeset | files |