| Thu, 07 Jul 2005 18:20:08 +0200 | huffman | use theorems ch2ch_cont, cont2contlubE | changeset | files |
| Thu, 07 Jul 2005 18:19:20 +0200 | huffman | add lemmas ch2ch_cont and cont2contlubE | changeset | files |
| Thu, 07 Jul 2005 15:52:31 +0200 | ballarin | Preparations for interpretation of locales in locales. | changeset | files |
| Thu, 07 Jul 2005 12:42:50 +0200 | nipkow | takes & in premises apart now. | changeset | files |
| Thu, 07 Jul 2005 12:42:21 +0200 | nipkow | linear arithmetic is more powerful now | changeset | files |
| Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | changeset | files |
| Thu, 07 Jul 2005 12:36:56 +0200 | nipkow | Used to be part of Finite_Set (or was it SetInterval?) | changeset | files |
| Wed, 06 Jul 2005 20:00:56 +0200 | wenzelm | fixed antiquotation; | changeset | files |