| Fri, 16 Sep 2016 15:54:50 +0200 | wenzelm | sessions that are relevant for routine timing measurements; | changeset | files |
| Fri, 16 Sep 2016 15:21:21 +0200 | wenzelm | more uniform completion of short word: exclude single character prefix but include two chracter prefix (see also 31633e503c17); | changeset | files |
| Fri, 16 Sep 2016 13:56:51 +0200 | hoelzl | move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel | changeset | files |
| Thu, 15 Sep 2016 22:41:05 +0200 | Lars Hupel | new type for finite maps; use it in HOL-Probability | changeset | files |
| Thu, 15 Sep 2016 19:31:17 +0200 | nipkow | adapted to listsum -> sum_list | changeset | files |
| Thu, 15 Sep 2016 17:05:34 +0200 | nipkow | merged | changeset | files |