Fri, 28 Jun 1996 11:19:56 +0200 | paulson | Updated reference to Slinds paper on TFL | changeset | files |
Fri, 28 Jun 1996 11:16:12 +0200 | paulson | Now set_cs is just taken from !claset | changeset | files |
Fri, 28 Jun 1996 11:13:07 +0200 | paulson | Added type-checking to rule "combination". This corrects a fault | changeset | files |
Fri, 28 Jun 1996 11:10:32 +0200 | paulson | Restored warning comment | changeset | files |
Thu, 27 Jun 1996 15:24:17 +0200 | oheimb | re-added when_funs to library.ML | changeset | files |
Thu, 27 Jun 1996 15:19:50 +0200 | oheimb | patches for Holcfb.thy removed | changeset | files |
Thu, 27 Jun 1996 12:53:08 +0200 | oheimb | removed old version of LEAST operator | changeset | files |