src/HOL/Tools/BNF/bnf_lfp_tactics.ML
2014-03-22 haftmann 2014-03-22 generalized and strengthened cong rules on compound operators, similar to 1ed737a98198
2014-03-21 traytel 2014-03-21 simplified internal datatype construction
2014-03-13 traytel 2014-03-13 tuned tactics
2014-03-07 wenzelm 2014-03-07 more antiquotations;
2014-03-06 blanchet 2014-03-06 renamed 'fun_rel' to 'rel_fun'
2014-03-04 blanchet 2014-03-04 renamed a pair of low-level theorems to have c/dtor in their names (like the others)
2014-02-26 traytel 2014-02-26 made tactics more robust
2014-02-18 traytel 2014-02-18 syntactic simplifications of internal (co)datatype constructions
2014-02-12 blanchet 2014-02-12 renamed '{prod,sum,bool,unit}_case' to 'case_...'
2014-01-31 traytel 2014-01-31 less hermetic tactics
2014-01-20 blanchet 2014-01-20 tuned names
2014-01-20 blanchet 2014-01-20 adjusted comments
2014-01-20 blanchet 2014-01-20 avoid nested 'Tools' directories