| Tue, 03 Jan 2006 15:44:39 +0100 | paulson | Provers/classical: stricter checks to ensure that supplied intro, dest and | changeset | files |
| Tue, 03 Jan 2006 15:43:54 +0100 | paulson | added explicit paths to required theories | changeset | files |
| Tue, 03 Jan 2006 14:07:17 +0100 | wenzelm | added implementation manual; | changeset | files |
| Tue, 03 Jan 2006 13:59:55 +0100 | wenzelm | more stuff; | changeset | files |
| Tue, 03 Jan 2006 11:57:33 +0100 | wenzelm | fixed LaTeX source; | changeset | files |
| Tue, 03 Jan 2006 11:33:18 +0100 | haftmann | class now a keyword | changeset | files |
| Tue, 03 Jan 2006 11:32:55 +0100 | haftmann | class now an keyword, quoted where necessary | changeset | files |
| Tue, 03 Jan 2006 11:32:16 +0100 | haftmann | add_local_context now yields imported and body elements seperatly; additional slight clenup in code | changeset | files |