src/Tools/atomize_elim.ML
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2009-10-21 haftmann 2009-10-21 removed old-style \ and \\ infixes
2009-10-20 wenzelm 2009-10-20 uniform use of Integer.min/max;
2009-10-19 wenzelm 2009-10-19 uniform use of Integer.add/mult/sum/prod;
2009-07-02 wenzelm 2009-07-02 renamed NamedThmsFun to Named_Thms; simplified/unified names of instances of Named_Thms;
2009-03-13 wenzelm 2009-03-13 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-02-28 wenzelm 2009-02-28 removed Ids;
2008-07-14 krauss 2008-07-14 renamed conversions to _conv, tuned
2008-04-08 krauss 2008-04-08 added missing file