isabelle: Changelog

huffman [Thu, 28 May 2009 13:52:13 -0700] rev 31287

use class field_char_0

huffman [Thu, 28 May 2009 13:43:45 -0700] rev 31286

merged

huffman [Thu, 28 May 2009 13:41:41 -0700] rev 31285

generalize dist function to class real_normed_vector

bulwahn [Thu, 28 May 2009 20:01:38 +0200] rev 31284

added remark to code

himmelma [Thu, 28 May 2009 18:59:51 +0200] rev 31283

Removed Convex_Euclidean_Space.thy from Library.

himmelma [Thu, 28 May 2009 17:03:14 +0200] rev 31282

Moved some lemmas about intervals to Topology

himmelma [Thu, 28 May 2009 16:19:34 +0200] rev 31281

Corrected definition of is_interval

himmelma [Thu, 28 May 2009 15:54:20 +0200] rev 31280

corrected problem in Determinants

himmelma [Thu, 28 May 2009 15:42:44 +0200] rev 31279

Corrected error in Convex_Euclidean_Space

himmelma [Thu, 28 May 2009 13:56:50 +0200] rev 31278

Added Convex_Euclidean_Space to Library.thy and Library/IsaMakefile

isabelle