| Sat, 06 Jun 2009 23:43:07 +0200 | wenzelm | no parallel make jobs on macbroy23, which is the machine where SML/XL is tested -- attempt to consume less resources; | changeset | files |
| Sat, 06 Jun 2009 21:57:50 +0200 | wenzelm | updated version; | changeset | files |
| Sun, 07 Jun 2009 20:57:24 -0700 | huffman | fix type of open | changeset | files |
| Sun, 07 Jun 2009 19:38:32 -0700 | huffman | new setL2 lemmas; instance ^ :: (topological_space, finite) topological_space | changeset | files |