2014-06-16 hoelzl [Mon, 16 Jun 2014 13:19:48 +0200] rev 57254
lemmas about the moments of the normal distribution
CONTRIBUTORS src/HOL/Probability/Distributions.thy

2014-06-13 paulson <lp15@cam.ac.uk> [Fri, 13 Jun 2014 14:49:59 +0100] rev 57253
NEWS
NEWS

2014-06-13 hoelzl [Fri, 13 Jun 2014 14:08:20 +0200] rev 57252
properties of normal distributed random variables (by Sudeep Kanav)
CONTRIBUTORS NEWS src/HOL/Probability/Distributions.thy src/HOL/Probability/Information.thy src/HOL/Probability/Probability.thy

2014-06-13 nipkow [Fri, 13 Jun 2014 07:05:01 +0200] rev 57251
announce Tree
NEWS

2014-06-12 nipkow [Thu, 12 Jun 2014 21:23:28 +0200] rev 57250
new theory of binary trees
src/HOL/Library/Library.thy src/HOL/Library/Tree.thy

2014-06-12 haftmann [Thu, 12 Jun 2014 18:02:39 +0200] rev 57249
formal variable name: IVar NONE is strictly spoken not supported on lhs of function definitions, e.g. in Scala
src/Tools/Code/code_target.ML

2014-06-12 nipkow [Thu, 12 Jun 2014 18:47:27 +0200] rev 57248
merged
src/HOL/List.thy

2014-06-12 nipkow [Thu, 12 Jun 2014 18:47:16 +0200] rev 57247
added [simp]
src/HOL/Enum.thy src/HOL/List.thy src/HOL/String.thy

2014-06-12 blanchet [Thu, 12 Jun 2014 17:50:49 +0200] rev 57246
tuning
NEWS src/Doc/manual.bib src/HOL/SMT2.thy

2014-06-12 blanchet [Thu, 12 Jun 2014 17:10:12 +0200] rev 57245
renamed Sledgehammer options
NEWS src/Doc/Sledgehammer/document/root.tex src/HOL/Metis_Examples/Big_O.thy src/HOL/Metis_Examples/Sets.thy src/HOL/Metis_Examples/Trans_Closure.thy src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar_compress.ML src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt2.ML