| 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 |