2014-09-18 haftmann [Thu, 18 Sep 2014 18:48:54 +0200] rev 58400
always annotate potentially polymorphic Haskell numerals
src/HOL/Code_Numeral.thy src/HOL/Quickcheck_Narrowing.thy src/Tools/Code/code_haskell.ML

2014-09-18 haftmann [Thu, 18 Sep 2014 18:48:04 +0200] rev 58399
tuned
src/HOL/Code_Numeral.thy src/HOL/Tools/numeral.ML

2014-09-18 haftmann [Thu, 18 Sep 2014 18:48:04 +0200] rev 58398
simplified and tuned using signed_string_of_int
src/Tools/Code/code_scala.ML

2014-09-18 haftmann [Thu, 18 Sep 2014 18:48:04 +0200] rev 58397
tuned data structure
src/HOL/Imperative_HOL/Heap_Monad.thy src/Tools/Code/code_haskell.ML src/Tools/Code/code_thingol.ML src/Tools/nbe.ML

2014-09-19 blanchet [Fri, 19 Sep 2014 14:24:03 +0200] rev 58396
tuning
src/HOL/Datatype_Examples/Misc_N2M.thy

2014-09-19 blanchet [Fri, 19 Sep 2014 14:08:21 +0200] rev 58395
documented limitations
src/Doc/Datatypes/Datatypes.thy

2014-09-19 blanchet [Fri, 19 Sep 2014 13:41:40 +0200] rev 58394
more honest 'primcorec' -- don't parse a theorem name that is then ignored
src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML

2014-09-19 blanchet [Fri, 19 Sep 2014 13:38:21 +0200] rev 58393
tuning
src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML

2014-09-19 blanchet [Fri, 19 Sep 2014 13:27:04 +0200] rev 58392
added a few tests for 'old_datatype'
src/HOL/Datatype_Examples/Compat.thy

2014-09-19 blanchet [Fri, 19 Sep 2014 13:27:04 +0200] rev 58391
reintroduced old setup for size of basic types
src/HOL/Basic_BNF_Least_Fixpoints.thy