src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML
2014-02-14 blanchet 2014-02-14 allow different functions to recurse on the same type, like in the old package
2014-02-14 blanchet 2014-02-14 added 'Spec_Rules' for 'primcorec'
2014-02-12 blanchet 2014-02-12 renamed '{prod,sum,bool,unit}_case' to 'case_...'
2014-02-12 blanchet 2014-02-12 tuning
2014-02-06 blanchet 2014-02-06 don't waste time with old-style 'case's that don't have the required theorems
2014-02-06 blanchet 2014-02-06 expand 'split' in direct corecursion as well
2014-02-06 blanchet 2014-02-06 tuning
2014-02-05 blanchet 2014-02-05 adapted tactic to correctly handle 'if ... then ...' and 'case ...' under lambdas
2014-02-05 blanchet 2014-02-05 properly massage 'if's / 'case's etc. under lambdas
2014-01-21 blanchet 2014-01-21 made SML/NJ happier
2014-01-20 blanchet 2014-01-20 adjusted comments
2014-01-20 blanchet 2014-01-20 avoid nested 'Tools' directories