| Wed, 25 May 2016 12:24:00 +0200 | eberlm | NEWS: Permutations of a set and randomised folds | changeset | files |
| Tue, 24 May 2016 22:46:23 +0200 | Lars Hupel | new Isabelle component for CI infastructure | changeset | files |
| Tue, 24 May 2016 19:42:47 +0200 | wenzelm | merged | changeset | files |
| Tue, 24 May 2016 17:51:09 +0200 | wenzelm | recovered printing of DIM('a) (cf. 899c9c4e4a4c); | changeset | files |