| Mon, 03 Mar 2008 14:03:19 +0100 | krauss | new theory of red-black trees, an efficient implementation of finite maps. | changeset | files |
| Sun, 02 Mar 2008 15:02:06 +0100 | nipkow | Generalized Zorn and added well-ordering theorem | changeset | files |
| Sat, 01 Mar 2008 15:01:03 +0100 | wenzelm | tuned ML code, more antiquotations; | changeset | files |