| Thu, 10 May 2007 15:49:31 +0200 | berghofe | Name of ML function "not" is now qualified in order to avoid | changeset | files |
| Thu, 10 May 2007 10:22:17 +0200 | haftmann | consts in consts_code Isar commands are now referred to by usual term syntax | changeset | files |
| Thu, 10 May 2007 10:21:50 +0200 | haftmann | size [nat] is identity | changeset | files |
| Thu, 10 May 2007 10:21:48 +0200 | haftmann | explicit import of Datatype.thy due to hook bootstrap problem | changeset | files |
| Thu, 10 May 2007 10:21:47 +0200 | haftmann | localized Sup/Inf | changeset | files |
| Thu, 10 May 2007 10:21:46 +0200 | haftmann | localized Min/Max | changeset | files |
| Thu, 10 May 2007 10:21:44 +0200 | haftmann | tuned | changeset | files |