haftmann [Thu, 01 Jul 2010 16:54:44 +0200] rev 37678
"prod" and "sum" replace "*" and "+" respectively
haftmann [Thu, 01 Jul 2010 16:54:42 +0200] rev 37677
qualified constants Set.member and Set.Collect
haftmann [Thu, 01 Jul 2010 16:54:42 +0200] rev 37676
"prod" and "sum" replace "*" and "+" respectively; qualified constants Set.member and Set.Collect
huffman [Thu, 01 Jul 2010 15:40:58 -0700] rev 37675
merged
huffman [Thu, 01 Jul 2010 15:40:38 -0700] rev 37674
convert theorem path_connected_sphere to euclidean_space class
huffman [Thu, 01 Jul 2010 09:24:04 -0700] rev 37673
generalize more lemmas from ordered_euclidean_space to euclidean_space
wenzelm [Thu, 01 Jul 2010 19:14:54 +0200] rev 37672
avoid Old_Number_Theory;
more precise dependencies;
wenzelm [Thu, 01 Jul 2010 18:31:46 +0200] rev 37671
misc tuning and modernization;
haftmann [Thu, 01 Jul 2010 14:32:57 +0200] rev 37670
merged
haftmann [Thu, 01 Jul 2010 13:47:27 +0200] rev 37669
once more a try with mkdir_leaf