src/HOL/Multivariate_Analysis/ex/Approximations.thy
2015-11-17 paulson 2015-11-17 Removed some legacy theorems; minor adjustments to simplification rules; new material on homotopic paths
2015-11-03 wenzelm 2015-11-03 tuned imports;
2015-09-30 paulson 2015-09-30 Dead wood removal
2015-06-10 wenzelm 2015-06-10 isabelle update_cartouches;
2015-04-03 wenzelm 2015-04-03 rearranged sessions to save approx. 1min elapsed time, 5min CPU time;