| Thu, 02 Sep 2010 19:57:16 +0200 | hoelzl | Corrected definition and hence removed sorry. | changeset | files |
| Thu, 02 Sep 2010 19:51:53 +0200 | hoelzl | Moved lemmas to appropriate locations | changeset | files |
| Thu, 02 Sep 2010 17:28:00 +0200 | hoelzl | merged | changeset | files |
| Thu, 02 Sep 2010 15:36:15 +0200 | hellerar | merged | changeset | files |
| Thu, 02 Sep 2010 15:31:38 +0200 | hellerar | measure unique | changeset | files |
| Wed, 01 Sep 2010 17:19:47 +0200 | hellerar | merge | changeset | files |
| Thu, 02 Sep 2010 17:12:40 +0200 | hoelzl | move lemmas to correct theory files | changeset | files |
| Fri, 27 Aug 2010 16:23:51 +0200 | hoelzl | factorizable measurable functions | changeset | files |
| Fri, 27 Aug 2010 15:05:07 +0200 | hoelzl | Introduced sigma algebra generated by function preimages. | changeset | files |
| Fri, 27 Aug 2010 14:06:12 +0200 | hoelzl | vimage of measurable function is a measure space | changeset | files |
| Fri, 27 Aug 2010 14:05:16 +0200 | hoelzl | Measurable on product space is equiv. to measurable components | changeset | files |
| Fri, 27 Aug 2010 14:05:03 +0200 | hoelzl | Measurable on euclidean space is equiv. to measurable components | changeset | files |
| Fri, 27 Aug 2010 13:48:10 +0200 | hoelzl | preimages of open sets over continuous function are open | changeset | files |
| Fri, 27 Aug 2010 11:49:06 +0200 | hoelzl | added definition of conditional expectation | changeset | files |
| Fri, 27 Aug 2010 11:33:37 +0200 | hoelzl | proved existence of conditional expectation | changeset | files |
| Thu, 26 Aug 2010 18:41:54 +0200 | hoelzl | introduced integration on subalgebras | changeset | files |
| Thu, 26 Aug 2010 15:20:41 +0200 | hoelzl | changed definition of dynkin; replaces proofs by metis calles | changeset | files |
| Thu, 26 Aug 2010 13:17:58 +0200 | hellerar | dynkin | changeset | files |
| Thu, 26 Aug 2010 13:15:37 +0200 | hellerar | dynkin system | changeset | files |
| Thu, 02 Sep 2010 18:45:23 +0200 | hoelzl | merged | changeset | files |
| Thu, 02 Sep 2010 14:34:08 +0200 | hoelzl | Fixes lemma names | changeset | files |
| Thu, 02 Sep 2010 13:32:17 +0200 | hoelzl | NEWS | changeset | files |
| Thu, 02 Sep 2010 11:54:09 +0200 | hoelzl | Introduce surj_on and replace surj and bij by abbreviations. | changeset | files |
| Thu, 02 Sep 2010 10:45:51 +0200 | hoelzl | Permutation implies bij function | changeset | files |
| Thu, 02 Sep 2010 10:36:45 +0200 | hoelzl | bij <--> bij_betw | changeset | files |
| Thu, 02 Sep 2010 10:18:15 +0200 | hoelzl | Add filter_remove1 | changeset | files |
| Thu, 02 Sep 2010 10:14:32 +0200 | hoelzl | Add lessThan_Suc_eq_insert_0 | changeset | files |
| Thu, 02 Sep 2010 17:02:00 +0200 | haftmann | merged | changeset | files |
| Thu, 02 Sep 2010 17:01:49 +0200 | haftmann | updated | changeset | files |
| Thu, 02 Sep 2010 16:53:23 +0200 | haftmann | set printmode while marking | changeset | files |
| Thu, 02 Sep 2010 16:53:23 +0200 | haftmann | updated | changeset | files |
| Thu, 02 Sep 2010 16:42:19 +0200 | haftmann | avoid reference to theory Ferrack altogether | changeset | files |