| Thu, 18 Jul 2002 12:05:51 +0200 | wenzelm | added satisfy_hyps; | changeset | files |
| 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 |
| Wed, 17 Jul 2002 15:48:54 +0200 | paulson | Expressing Lset and L without using length and arity; simplifies Separation | changeset | files |
| Tue, 16 Jul 2002 20:25:21 +0200 | schirmer | Added conditional and (&&) and or (||). | changeset | files |
| Tue, 16 Jul 2002 18:52:26 +0200 | wenzelm | adapted locales; | changeset | files |
| Tue, 16 Jul 2002 18:46:59 +0200 | wenzelm | adapted locales; | changeset | files |
| Tue, 16 Jul 2002 18:46:13 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Jul 2002 18:46:04 +0200 | wenzelm | adapted locales; | changeset | files |
| Tue, 16 Jul 2002 18:43:05 +0200 | wenzelm | rearranged to work without proof contexts; | changeset | files |
| Tue, 16 Jul 2002 18:42:07 +0200 | wenzelm | export_standard supercedes export_single; | changeset | files |
| Tue, 16 Jul 2002 18:41:50 +0200 | wenzelm | export map_context; | changeset | files |
| Tue, 16 Jul 2002 18:41:18 +0200 | wenzelm | assert_propT; | changeset | files |