src/HOL/Multivariate_Analysis/Ordered_Euclidean_Space.thy
2014-03-16 haftmann 2014-03-16 normalising simp rules for compound operators
2014-02-12 blanchet 2014-02-12 adapted theories to '{case,rec}_{list,option}' names
2013-12-16 immler 2013-12-16 additional lemmas
2013-12-16 immler 2013-12-16 summarized notions related to ordered_euclidean_space and intervals in separate theory