src/HOL/BNF/BNF_FP_Base.thy
2013-11-04 blanchet 2013-11-04 split 'primrec_new' and 'primcorec' code (to ease bootstrapping, e.g. dependency on datatype 'String' in 'primcorec')
2013-10-01 blanchet 2013-10-01 renamed theory file
2013-09-26 blanchet 2013-09-26 got rid of dependency on silly 'eq_ifI' theorem
2013-09-26 blanchet 2013-09-26 more powerful/robust tactics
2013-09-26 blanchet 2013-09-26 made tactic more flexible w.r.t. case expressions and such
2013-09-25 blanchet 2013-09-25 removed dead code
2013-09-19 blanchet 2013-09-19 added helper function for code equations in primcorec
2013-09-18 blanchet 2013-09-18 no need thanks to "Code.abort"
2013-09-18 blanchet 2013-09-18 minor change related to code equations in primcorec
2013-09-18 blanchet 2013-09-18 new tactics for constructor view
2013-09-12 blanchet 2013-09-12 avoid a keyword
2013-08-30 blanchet 2013-08-30 tuned theory name