src/HOL/Multivariate_Analysis/Ordered_Euclidean_Space.thy
2015-11-17 paulson 2015-11-17 Removed some legacy theorems; minor adjustments to simplification rules; new material on homotopic paths
2015-09-13 wenzelm 2015-09-13 tuned proofs -- less legacy;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-06-10 wenzelm 2015-06-10 isabelle update_cartouches;
2014-06-28 haftmann 2014-06-28 fact consolidation
2014-04-02 hoelzl 2014-04-02 extend continuous_intros; remove continuous_on_intros and isCont_intros
2014-03-18 immler 2014-03-18 additional lemmas
2014-03-18 immler 2014-03-18 removed dependencies on theory Ordered_Euclidean_Space
2014-03-18 immler 2014-03-18 use cbox to relax class constraints
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