2016-03-23 blanchet [Wed, 23 Mar 2016 16:37:13 +0100] rev 62699
sorted out type issue with sort constraints
src/HOL/Tools/BNF/bnf_gfp_grec.ML src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML

2016-03-22 blanchet [Tue, 22 Mar 2016 13:44:50 +0100] rev 62698
tuned whitespace
src/HOL/Corec_Examples/LFilter.thy src/HOL/Corec_Examples/Stream_Processor.thy src/HOL/Corec_Examples/Tests/Merge_Poly.thy src/HOL/Corec_Examples/Tests/Misc_Poly.thy src/HOL/Tools/BNF/bnf_axiomatization.ML src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML src/HOL/Tools/BNF/bnf_lfp.ML

2016-03-22 blanchet [Tue, 22 Mar 2016 13:32:40 +0100] rev 62697
compile
src/HOL/Datatype_Examples/Lift_BNF.thy

2016-03-22 blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62696
added 'corec' examples and tests
src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thy src/HOL/Corec_Examples/Tests/Merge_A.thy src/HOL/Corec_Examples/Tests/Merge_B.thy src/HOL/Corec_Examples/Tests/Merge_C.thy src/HOL/Corec_Examples/Tests/Merge_D.thy src/HOL/Corec_Examples/Tests/Merge_Poly.thy src/HOL/Corec_Examples/Tests/Misc_Mono.thy src/HOL/Corec_Examples/Tests/Misc_Poly.thy src/HOL/Corec_Examples/Tests/Simple_Nesting.thy src/HOL/Corec_Examples/Tests/Small_Concrete.thy src/HOL/Corec_Examples/Tests/TLList_Friends.thy src/HOL/ROOT

2016-03-22 blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62695
file header
src/HOL/Datatype_Examples/Lift_BNF.thy

2016-03-22 blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62694
added two 'corec' examples
src/HOL/Corec_Examples/LFilter.thy src/HOL/Corec_Examples/Stream_Processor.thy src/HOL/Datatype_Examples/Stream_Processor.thy src/HOL/ROOT

2016-03-22 blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62693
document addition of 'corec'
CONTRIBUTORS NEWS

2016-03-22 blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62692
moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle
src/HOL/Library/BNF_Corec.thy src/HOL/Library/Library.thy src/HOL/Tools/BNF/bnf_gfp_grec.ML src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML src/HOL/Tools/BNF/bnf_gfp_grec_sugar_tactics.ML src/HOL/Tools/BNF/bnf_gfp_grec_sugar_util.ML src/HOL/Tools/BNF/bnf_gfp_grec_tactics.ML src/HOL/Tools/BNF/bnf_gfp_grec_unique_sugar.ML

2016-03-22 blanchet [Tue, 22 Mar 2016 12:39:37 +0100] rev 62691
put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints
src/HOL/Library/BNF_Axiomatization.thy src/HOL/Library/Countable.thy src/HOL/Library/bnf_axiomatization.ML src/HOL/Library/bnf_lfp_countable.ML src/HOL/Tools/BNF/bnf_axiomatization.ML src/HOL/Tools/BNF/bnf_lfp_countable.ML

2016-03-22 blanchet [Tue, 22 Mar 2016 08:00:33 +0100] rev 62690
nicer error
src/HOL/Tools/BNF/bnf_lfp_size.ML src/HOL/Tools/BNF/bnf_lift.ML