| Thu, 16 Feb 2006 21:11:58 +0100 | wenzelm | added ex/Abstract_NAT.thy; | changeset | files |
| Thu, 16 Feb 2006 19:39:02 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Feb 2006 19:10:47 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Feb 2006 18:59:39 +0100 | haftmann | removed silly stuff | changeset | files |
| Thu, 16 Feb 2006 18:39:48 +0100 | wenzelm | * Isar/locales: new derived specification elements 'definition', 'abbreviation', 'axiomatization'; | changeset | files |
| Thu, 16 Feb 2006 18:26:04 +0100 | wenzelm | added abbreviation(_i); | changeset | files |
| Thu, 16 Feb 2006 18:26:03 +0100 | wenzelm | added put_thms_internal: local_naming, no fact index; | changeset | files |