src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML
2014-05-05 blanchet 2014-05-05 simplify selectors in code views
2014-05-01 panny 2014-05-01 use qualified name (was interpreted as a catch-all variable name)
2014-05-01 panny 2014-05-01 add additional check to avoid selector formula right-hand side consisting of a nullary constructor getting interpreted as a discriminator formula
2014-03-22 wenzelm 2014-03-22 more antiquotations;
2014-03-15 panny 2014-03-15 add error messages for invalid inputs
2014-03-07 blanchet 2014-03-07 use balanced tuples in 'primcorec'
2014-03-07 blanchet 2014-03-07 balance tuples that represent curried functions
2014-03-03 blanchet 2014-03-03 removed (co)iterators from documentation
2014-03-03 blanchet 2014-03-03 avoid duplicate 'disc_iff' theorems
2014-03-03 blanchet 2014-03-03 rationalized internals
2014-03-03 blanchet 2014-03-03 rationalize internals
2014-03-03 blanchet 2014-03-03 make 'diff_iff' a simp rule if available
2014-03-03 blanchet 2014-03-03 less aggressive resolving
2014-02-27 blanchet 2014-02-27 correct most general type for mutual recursion when several identical types are involved
2014-02-18 blanchet 2014-02-18 prepare two-stage 'primrec' setup
2014-02-17 blanchet 2014-02-17 simplified data structure by reducing the incidence of clumsy indices
2014-02-17 blanchet 2014-02-17 tuning * * * moved 'primrec' up to displace the few remaining uses of 'old_primrec'
2014-02-17 blanchet 2014-02-17 tuning: moved code where it belongs
2014-02-17 blanchet 2014-02-17 tuning
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