| Thu, 01 Jul 2010 16:54:42 +0200 | haftmann | "prod" and "sum" replace "*" and "+" respectively; qualified constants Set.member and Set.Collect | changeset | files |
| Thu, 01 Jul 2010 15:40:58 -0700 | huffman | merged | changeset | files |
| 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 |