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 |