Fri, 23 Feb 2007 08:39:27 +0100 | haftmann | proper treatment of -> as type constructor | changeset | files |
Fri, 23 Feb 2007 08:39:26 +0100 | haftmann | tuned | changeset | files |
Fri, 23 Feb 2007 08:39:25 +0100 | haftmann | add_path for naming in proof contexts | changeset | files |
Fri, 23 Feb 2007 08:39:24 +0100 | haftmann | locale: add_locale accepts explicit predicate name, interpretation supports non-mandatory prefixes | changeset | files |
Fri, 23 Feb 2007 08:39:23 +0100 | haftmann | slightly tuned | changeset | files |
Fri, 23 Feb 2007 08:39:22 +0100 | haftmann | slight cleanup | changeset | files |