Wed, 20 Mar 2002 13:21:07 +0100 | kleing | small refactoring for lbv with semilattices | changeset | files |
Mon, 18 Mar 2002 11:47:03 +0100 | paulson | Fewer premises for restrict_image | changeset | files |
Thu, 14 Mar 2002 17:35:47 +0100 | paulson | cambridge | changeset | files |
Thu, 14 Mar 2002 16:48:54 +0100 | paulson | removed ex/set.ML | changeset | files |
Thu, 14 Mar 2002 16:48:34 +0100 | paulson | converted theory "set" to Isar and added some SET-VAR examples | changeset | files |
Thu, 14 Mar 2002 16:00:29 +0100 | kleing | increased treshold for "this expression could be extremely ambigous" warning | changeset | files |
Tue, 12 Mar 2002 19:20:23 +0100 | kleing | workaround for "ins" bug in sml/nj + code generator | changeset | files |