| Wed, 22 Nov 2006 10:20:11 +0100 | haftmann | removed Extraction dependency | changeset | files |
| Wed, 22 Nov 2006 10:20:09 +0100 | haftmann | final draft | changeset | files |
| Tue, 21 Nov 2006 20:58:15 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 21 Nov 2006 20:48:11 +0100 | wenzelm | theorem(_i): note assms of statement; | changeset | files |
| Tue, 21 Nov 2006 20:48:06 +0100 | wenzelm | removed obsolete simple_note_thms; | changeset | files |
| Tue, 21 Nov 2006 20:48:03 +0100 | wenzelm | added assmsN; | changeset | files |
| Tue, 21 Nov 2006 20:47:58 +0100 | wenzelm | * Isar: the assumptions of a long theorem statement are available as assms; | changeset | files |
| Tue, 21 Nov 2006 18:50:54 +0100 | wenzelm | activated x86_64-linux; | changeset | files |