| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 24 May 2016 18:48:01 +0200 | eberlm | Removed problematic code equation for set_permutations | file | diff | annotate |
| Tue, 24 May 2016 18:46:51 +0200 | eberlm | Backed out changeset 8230358fab88 | file | diff | annotate |