| Thu, 04 Dec 2014 16:51:54 +0100 | haftmann | turn application-specific Pattern.matches_subterm into an application-private function | changeset | files |
| Thu, 04 Dec 2014 16:51:54 +0100 | haftmann | cleaned up mess | changeset | files |
| Fri, 05 Dec 2014 13:39:59 +0100 | hoelzl | add Poisson and Binomial distribution | changeset | files |
| Fri, 05 Dec 2014 12:06:18 +0100 | hoelzl | add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav | changeset | files |
| Thu, 04 Dec 2014 21:28:35 +0100 | wenzelm | proper GUI_Thread context (cf. 7e0d3da6e6d8); | changeset | files |
| Thu, 04 Dec 2014 20:56:38 +0100 | wenzelm | more examples; | changeset | files |
| Thu, 04 Dec 2014 20:45:11 +0100 | wenzelm | tuned header; | changeset | files |
| Thu, 04 Dec 2014 17:05:58 +0100 | hoelzl | generalized (borel_)measurable_SUP/INF/lfp/gfp; tuned proofs for sigma-closure of product spaces | changeset | files |