src/HOL/BNF_GFP.thy
2014-03-07 blanchet 2014-03-07 balance tuples that represent curried functions
2014-03-06 blanchet 2014-03-06 renamed 'fun_rel' to 'rel_fun'
2014-02-21 traytel 2014-02-21 only one internal coinduction rule
2014-02-19 traytel 2014-02-19 removed not anymore used constants and theorems
2014-02-18 traytel 2014-02-18 removed not anymore used theorems
2014-02-17 blanchet 2014-02-17 tuning * * * moved 'primrec' up to displace the few remaining uses of 'old_primrec'
2014-02-14 blanchet 2014-02-14 register 'Spec_Rules' for new-style (co)datatypes
2014-02-12 blanchet 2014-02-12 renamed 'nat_{case,rec}' to '{case,rec}_nat'
2014-02-12 blanchet 2014-02-12 renamed '{prod,sum,bool,unit}_case' to 'case_...'
2014-02-12 blanchet 2014-02-12 adapted theories to '{case,rec}_{list,option}' names
2014-01-20 blanchet 2014-01-20 removed dependency of BNF package on Nitpick
2014-01-20 blanchet 2014-01-20 made BNF compile after move to HOL
2014-01-20 blanchet 2014-01-20 tuned comments
2014-01-20 blanchet 2014-01-20 moved BNF files to 'HOL'