isabelle: Changelog

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

haftmann [Thu, 01 Jul 2010 13:38:17 +0200] rev 37668

refined semantics of mkdir_leaf: do not fail if directory already exists

haftmann [Thu, 01 Jul 2010 13:32:14 +0200] rev 37667

avoid bitstrings in generated code

hoelzl [Thu, 01 Jul 2010 10:57:19 +0200] rev 37666

Updated NEWS

isabelle