| Thu, 16 Feb 2006 21:15:38 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Feb 2006 21:12:03 +0100 | wenzelm | Abstract Natural Numbers with polymorphic recursion. | changeset | files |
| Thu, 16 Feb 2006 21:12:00 +0100 | wenzelm | new-style definitions/abbreviations; | changeset | files |
| 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 |
| Thu, 16 Feb 2006 18:26:02 +0100 | wenzelm | added put_thms_internal; | changeset | files |
| Thu, 16 Feb 2006 18:26:01 +0100 | wenzelm | added abbrev element; | changeset | files |
| Thu, 16 Feb 2006 18:26:00 +0100 | wenzelm | added 'abbreviation'; | changeset | files |
| Thu, 16 Feb 2006 18:25:58 +0100 | wenzelm | added premsN; | changeset | files |
| Thu, 16 Feb 2006 18:25:58 +0100 | wenzelm | Proof.put_thms_internal; | changeset | files |
| Thu, 16 Feb 2006 18:25:56 +0100 | wenzelm | removed pointless replace; | changeset | files |
| Thu, 16 Feb 2006 18:25:55 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Feb 2006 18:25:55 +0100 | wenzelm | dest_def: actually return beta-eta contracted equation; | changeset | files |
| Thu, 16 Feb 2006 18:25:54 +0100 | wenzelm | derived specifications: definition, abbreviation, axiomatization; | changeset | files |
| Thu, 16 Feb 2006 18:25:52 +0100 | wenzelm | updated; | changeset | files |
| Thu, 16 Feb 2006 14:59:57 +0100 | obua | cache improvements | changeset | files |
| Thu, 16 Feb 2006 04:17:19 +0100 | obua | variable counter is now also cached | changeset | files |
| Thu, 16 Feb 2006 03:23:57 +0100 | obua | adapted to kernel changes | changeset | files |
| Thu, 16 Feb 2006 00:09:46 +0100 | wenzelm | tuned subst_bound(s); | changeset | files |