src/HOL/Multivariate_Analysis/normarith.ML
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2010-11-26 wenzelm 2010-11-26 just one version of fold_rev2;
2010-11-26 wenzelm 2010-11-26 eliminated some clones of eq_list;
2010-09-02 haftmann 2010-09-02 Table.map replaces Table.map'
2010-07-08 haftmann 2010-07-08 tuned titles
2010-05-15 wenzelm 2010-05-15 less pervasive names from structure Thm;
2010-05-15 wenzelm 2010-05-15 removed unused conversions;
2010-05-15 wenzelm 2010-05-15 tuned header; tuned white space;
2010-05-15 wenzelm 2010-05-15 moved normarith.ML where it is actually used; less inaccurate dependencies;