| Thu, 01 Jul 2010 15:40:38 -0700 | huffman | convert theorem path_connected_sphere to euclidean_space class | changeset | files |
| Thu, 01 Jul 2010 09:24:04 -0700 | huffman | generalize more lemmas from ordered_euclidean_space to euclidean_space | changeset | files |
| Thu, 01 Jul 2010 19:14:54 +0200 | wenzelm | avoid Old_Number_Theory; | changeset | files |
| Thu, 01 Jul 2010 18:31:46 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Thu, 01 Jul 2010 14:32:57 +0200 | haftmann | merged | changeset | files |
| Thu, 01 Jul 2010 13:47:27 +0200 | haftmann | once more a try with mkdir_leaf | changeset | files |
| Thu, 01 Jul 2010 13:38:17 +0200 | haftmann | refined semantics of mkdir_leaf: do not fail if directory already exists | changeset | files |