| Thu, 10 May 2007 22:11:35 +0200 | haftmann | fixed typo | changeset | files |
| Thu, 10 May 2007 18:10:32 +0200 | wenzelm | more conversions; | changeset | files |
| Thu, 10 May 2007 15:51:59 +0200 | berghofe | Moved extraction_expand declaration of listall_def outside of definition. | changeset | files |
| Thu, 10 May 2007 15:50:56 +0200 | berghofe | Adapted to new naming scheme for definitions. | changeset | files |
| Thu, 10 May 2007 15:50:28 +0200 | berghofe | Changed name of raw definition. | changeset | files |
| 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 |