src/HOL/Probability/Information.thy
Sun, 13 Sep 2015 22:56:52 +0200 wenzelm tuned proofs -- less legacy;
Thu, 25 Jun 2015 23:33:47 +0200 wenzelm tuned proofs;
Sat, 11 Apr 2015 11:56:40 +0100 paulson Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
Sun, 02 Nov 2014 17:06:05 +0100 wenzelm modernized header;
Sat, 28 Jun 2014 09:16:42 +0200 haftmann fact consolidation
Fri, 13 Jun 2014 14:08:20 +0200 hoelzl properties of normal distributed random variables (by Sudeep Kanav)
Thu, 12 Jun 2014 15:47:36 +0200 hoelzl properties of Erlang and exponentially distributed random variables (by Sudeep Kanav)
Tue, 03 Jun 2014 16:22:01 +0200 hoelzl use 0 as integral-value for non-integrable functions, simplify a couple of rewrite rules
Mon, 19 May 2014 14:26:58 +0200 hoelzl renamed positive_integral to nn_integral
Mon, 19 May 2014 13:44:13 +0200 hoelzl fixed document generation for HOL-Probability
Mon, 19 May 2014 12:04:45 +0200 hoelzl introduce Bochner integral: generalizes Lebesgue integral from real-valued function to functions on real-normed vector spaces
Mon, 14 Apr 2014 13:08:17 +0200 hoelzl added divide_nonneg_nonneg and co; made it a simp rule
Sat, 12 Apr 2014 17:26:27 +0200 nipkow made mult_pos_pos a simp rule
Fri, 11 Apr 2014 22:53:33 +0200 nipkow made divide_pos_pos a simp rule
Fri, 11 Apr 2014 13:36:57 +0200 nipkow made mult_nonneg_nonneg a simp rule
less more (0) -15 tip