Thu, 08 Sep 2005 16:09:23 +0200 | haftmann | introduces some modern-style AList operations | changeset | files |
Thu, 08 Sep 2005 16:08:50 +0200 | haftmann | added the_list, the_default | changeset | files |
Thu, 08 Sep 2005 13:24:19 +0200 | paulson | yet more tidying of Isabelle-ATP link | changeset | files |