src/Pure/simplifier.ML
2006-11-10 haftmann 2006-11-10 introduces canonical AList functions for loop_tacs
2006-10-07 wenzelm 2006-10-07 tuned;
2006-02-10 wenzelm 2006-02-10 Args/Attrib syntax: Context.generic;
2006-01-21 wenzelm 2006-01-21 simplified type attribute;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2006-01-14 wenzelm 2006-01-14 generic attributes;
2006-01-10 wenzelm 2006-01-10 Attrib.rule;
2005-10-28 wenzelm 2005-10-28 export cong_modifiers, simp_modifiers';
2005-10-21 wenzelm 2005-10-21 added simplification tactics and rules (from meta_simplifier.ML);
2005-10-18 wenzelm 2005-10-18 renamed set_context to context; data extend: reset context;
2005-10-17 wenzelm 2005-10-17 removed obsolete/experimental context components (superceded by Simplifier.the_context); more abstract change_simpset(_of); tuned;
2005-09-29 wenzelm 2005-09-29 export debug_bounds;
2005-08-02 wenzelm 2005-08-02 export clear_ss;
2005-08-01 wenzelm 2005-08-01 export MataSimplifier.inherit_bounds;
2005-07-13 wenzelm 2005-07-13 removed obsolete delta stuff;
2005-07-06 wenzelm 2005-07-06 multiple flags: prefer later ones;
2005-07-04 wenzelm 2005-07-04 made smlnj happy;
2005-07-04 wenzelm 2005-07-04 methods: added simp_flags argument, added "depth_limit" flag;
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun; accomodate identification of type Sign.sg and theory;
2005-05-22 wenzelm 2005-05-22 moved here from Provers; removed find_rewrites (superceded by find_theorems rewrite); outer syntax moved to Pure/Isar/isar_syn.ML;