| Fri, 11 Aug 2017 16:54:49 +0200 | Lars Hupel | fmap :: size | file | diff | annotate |
| Thu, 20 Jul 2017 15:41:01 +0200 | Lars Hupel | tuned code setup | file | diff | annotate |
| Sun, 16 Jul 2017 23:47:21 +0200 | Lars Hupel | fmap is finite | file | diff | annotate |
| Wed, 12 Jul 2017 11:33:32 +0200 | Lars Hupel | more material on finite maps | file | diff | annotate |
| Wed, 12 Jul 2017 07:52:35 +0200 | traytel | redundant since c6714a9562ae | file | diff | annotate |
| Tue, 11 Jul 2017 17:11:37 +0200 | Lars Hupel | more material on fmaps | file | diff | annotate |
| Tue, 11 Jul 2017 16:12:36 +0200 | Lars Hupel | canonical representation for fmaps is fmlookup | file | diff | annotate |
| Tue, 11 Jul 2017 15:34:35 +0200 | Lars Hupel | fmaps are countable | file | diff | annotate |
| Mon, 17 Oct 2016 11:46:22 +0200 | nipkow | setsum -> sum | file | diff | annotate |
| Thu, 13 Oct 2016 15:43:15 +0200 | Lars Hupel | renamed lemma to a more consistent name | file | diff | annotate |
| Thu, 13 Oct 2016 14:41:45 +0200 | Lars Hupel | tuned | file | diff | annotate |
| Thu, 13 Oct 2016 14:15:34 +0200 | Lars Hupel | remove accidentally oops'ed (and wrong) lemma | file | diff | annotate |
| Fri, 16 Sep 2016 18:44:18 +0200 | Lars Hupel | tuned proofs | file | diff | annotate |
| Thu, 15 Sep 2016 22:41:05 +0200 | Lars Hupel | new type for finite maps; use it in HOL-Probability | file | diff | annotate |