2006-01-19 ago setup: theory -> theory;
2006-01-14 ago generic attributes;
2006-01-10 ago Attrib.rule;
2005-10-28 ago export cong_modifiers, simp_modifiers';
2005-10-21 ago added simplification tactics and rules (from meta_simplifier.ML);
2005-10-18 ago renamed set_context to context;
2005-10-17 ago removed obsolete/experimental context components (superceded by Simplifier.the_context);
2005-09-29 ago export debug_bounds;
2005-08-02 ago export clear_ss;
2005-08-01 ago export MataSimplifier.inherit_bounds;
2005-07-13 ago removed obsolete delta stuff;
2005-07-06 ago multiple flags: prefer later ones;
2005-07-04 ago made smlnj happy;
2005-07-04 ago methods: added simp_flags argument, added "depth_limit" flag;
2005-06-17 ago accomodate change of TheoryDataFun;
2005-05-22 ago moved here from Provers;