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 |