Changed prioriy of vector_scalar_mult
Added Convex_Euclidean_Space.thy
merged
Added Convex_Euclidean_Space to Library.thy and Library/IsaMakefile
corrected problem in Determinants
Corrected definition of is_interval
Moved some lemmas about intervals to Topology
Removed Convex_Euclidean_Space.thy from Library.