src/Tools/atomize_elim.ML
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