src/HOL/Analysis/normarith.ML
3 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
6 months ago nipkow 2018-09-24 Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
14 months ago wenzelm 2018-02-01 clarified signature; eliminated aliases of Thm.term_ord;
14 months ago wenzelm 2018-02-01 tuned signature: more operations;
14 months ago wenzelm 2018-02-01 clarified signature;
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.