src/HOL/Multivariate_Analysis/Bounded_Linear_Function.thy
2016-01-11 immler 2016-01-11 generalized proofs
2016-01-08 hoelzl 2016-01-08 fix code generation for uniformity: uniformity is a non-computable pure data.
2016-01-08 hoelzl 2016-01-08 add uniform spaces
2015-12-30 wenzelm 2015-12-30 isabelle update_cartouches -c -t;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-29 wenzelm 2015-12-29 more symbols;
2015-12-28 wenzelm 2015-12-28 more symbols;
2015-12-23 immler 2015-12-23 transfer rule for bounded_linear of blinfun
2015-12-22 immler 2015-12-22 theory for type of bounded linear functions; differentiation under the integral sign