| Thu, 28 May 2009 16:19:34 +0200 | himmelma | Corrected definition of is_interval | file | diff | annotate |
| Thu, 28 May 2009 15:42:44 +0200 | himmelma | Corrected error in Convex_Euclidean_Space | file | diff | annotate |
| Thu, 28 May 2009 13:56:50 +0200 | himmelma | Added Convex_Euclidean_Space to Library.thy and Library/IsaMakefile | file | diff | annotate |
| Thu, 28 May 2009 09:46:45 +0200 | himmelma | Added Convex_Euclidean_Space.thy | file | diff | annotate |