| Wed, 31 Jan 2007 16:05:16 +0100 | haftmann | clarified command annotation | changeset | files |
| Wed, 31 Jan 2007 16:05:14 +0100 | haftmann | changed cong alist - now using AList operations instead of overwrite_warn | changeset | files |
| Wed, 31 Jan 2007 16:05:13 +0100 | haftmann | dropped Output.update_warn | changeset | files |
| Wed, 31 Jan 2007 16:05:12 +0100 | haftmann | print translation for record types with empty-sorted type variables raise Match instead of producing an error | changeset | files |
| Wed, 31 Jan 2007 16:05:10 +0100 | haftmann | dropped lemma duplicates in HOL.thy | changeset | files |
| Wed, 31 Jan 2007 14:03:31 +0100 | paulson | Tidying; more debugging information. New reference unwanted_types. | changeset | files |
| Tue, 30 Jan 2007 13:17:02 +0100 | aspinall | Tweak preferences for PGIP interfaces. Make <askids> return theory successors instead of parents (ideally should be content elements). | changeset | files |