| Tue, 14 Apr 2015 14:15:10 +0200 | Andreas Lochbihler | add various lemmas about pmfs | file | diff | annotate |
| Tue, 17 Mar 2015 12:23:56 +0000 | paulson | Merge | file | diff | annotate |
| Mon, 16 Mar 2015 15:30:00 +0000 | paulson | The factorial function, "fact", now has type "nat => 'a" | file | diff | annotate |
| Thu, 12 Mar 2015 19:09:18 +0100 | hoelzl | rel_pmf on equivalence relation | file | diff | annotate |
| Tue, 10 Mar 2015 17:50:10 +0100 | hoelzl | generalized bind_cond_pmf_cancel | file | diff | annotate |
| Tue, 10 Mar 2015 15:20:40 +0000 | paulson | Removal of the file HOL/Number_Theory/Binomial!! And class field_char_0 now declared in Int.thy | file | diff | annotate |
| Tue, 10 Mar 2015 11:56:32 +0100 | hoelzl | add set_pmf lemmas to simpset | file | diff | annotate |
| Tue, 10 Mar 2015 10:53:48 +0100 | hoelzl | build pmf's on bind | file | diff | annotate |
| Thu, 19 Feb 2015 11:53:36 +0100 | haftmann | establish unique preferred fact names | file | diff | annotate |
| Wed, 11 Feb 2015 18:39:56 +0100 | Andreas Lochbihler | rel_pmf preserves orders | file | diff | annotate |
| Wed, 11 Feb 2015 18:38:34 +0100 | Andreas Lochbihler | generalise lemma | file | diff | annotate |
| Wed, 11 Feb 2015 15:22:37 +0100 | Andreas Lochbihler | more lemmas | file | diff | annotate |
| Tue, 10 Feb 2015 14:06:57 +0100 | hoelzl | merged | file | diff | annotate |
| Tue, 10 Feb 2015 13:50:30 +0100 | hoelzl | add bind_cond_pmf_cancel | file | diff | annotate |
| Tue, 10 Feb 2015 12:15:05 +0100 | hoelzl | add cond_map_pmf | file | diff | annotate |