Thu, 18 Jul 2002 12:05:29 +0200 | wenzelm | quantify LC (conflict with const name of HOL); | changeset | files |
Thu, 18 Jul 2002 10:37:55 +0200 | paulson | new theorems to support Constructible proofs | changeset | files |
Wed, 17 Jul 2002 16:41:32 +0200 | paulson | Formulas (and lists) in M (and L!) | changeset | files |