src/HOL/Multivariate_Analysis/Bounded_Continuous_Function.thy
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2016-01-08 hoelzl 2016-01-08 add uniform spaces
2015-12-29 wenzelm 2015-12-29 more symbols;
2015-12-28 wenzelm 2015-12-28 more symbols;
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-09-24 wenzelm 2015-09-24 explicit indication of overloaded typedefs;
2015-09-13 wenzelm 2015-09-13 tuned proofs -- less legacy;
2015-06-10 wenzelm 2015-06-10 misc tuning;
2015-06-10 wenzelm 2015-06-10 isabelle update_cartouches;
2015-04-11 paulson 2015-04-11 Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
2015-03-31 paulson 2015-03-31 rationalised and generalised some theorems concerning abs and x^2.
2015-02-18 haftmann 2015-02-18 inlined rules to free user-space from technical names
2015-01-28 hoelzl 2015-01-28 moved bcontfun from AFP/Ordinary_Differential_Equations