Wed, 19 Mar 2014 23:13:45 +0100 | wenzelm | tuned -- no need for slightly obscure "local" prefix; | changeset | files |
Wed, 19 Mar 2014 22:26:27 +0100 | wenzelm | accomodate word as part of schematic variable name; | changeset | files |
Wed, 19 Mar 2014 22:10:33 +0100 | wenzelm | more explicit Long_Name operations (NB: analyzing qualifiers is inherently fragile); | changeset | files |
Wed, 19 Mar 2014 21:59:31 +0100 | wenzelm | tuned proofs; | changeset | files |
Wed, 19 Mar 2014 18:47:22 +0100 | haftmann | elongated INFI and SUPR, to reduced risk of confusing theorems names in the future while still being consistent with INTER and UNION | changeset | files |
Wed, 19 Mar 2014 17:06:02 +0000 | paulson | Some rationalisation of basic lemmas | changeset | files |
Wed, 19 Mar 2014 14:55:47 +0000 | paulson | Merge | changeset | files |