Wed, 31 Aug 2011 08:11:47 -0700 | huffman | move lemmas from Topology_Euclidean_Space to Euclidean_Space | changeset | files |
Wed, 31 Aug 2011 07:51:55 -0700 | huffman | convert to Isar-style proof | changeset | files |
Wed, 31 Aug 2011 13:22:50 +0200 | blanchet | make SML/NJ happy | changeset | files |