2016-03-24 nipkow [Thu, 24 Mar 2016 15:56:47 +0100] rev 62706
added Leftist_Heap
src/HOL/Data_Structures/Leftist_Heap.thy src/HOL/Data_Structures/document/root.bib src/HOL/Data_Structures/document/root.tex src/HOL/ROOT

2016-03-24 wenzelm [Thu, 24 Mar 2016 15:59:19 +0100] rev 62705
updated to scala-2.11.8;
Admin/components/components.sha1 Admin/components/main

2016-03-24 wenzelm [Thu, 24 Mar 2016 14:55:43 +0100] rev 62704
proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length;
src/Pure/General/file.scala src/Pure/General/sha1.scala src/Pure/Thy/sessions.scala src/Pure/Tools/build.scala

2016-03-24 wenzelm [Thu, 24 Mar 2016 13:22:02 +0100] rev 62703
more operations;
src/Pure/General/file.scala

2016-03-24 wenzelm [Thu, 24 Mar 2016 13:08:12 +0100] rev 62702
tuned signature;
src/Pure/General/sha1.ML src/Pure/General/sha1.scala

2016-03-23 kleing [Wed, 23 Mar 2016 09:37:38 +1100] rev 62701
HOL-Word: add stronger bl_to_bin_lt2p_drop
src/HOL/Word/Bool_List_Representation.thy

2016-03-23 blanchet [Wed, 23 Mar 2016 16:37:19 +0100] rev 62700
proper sectioning
src/HOL/Library/BNF_Corec.thy

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