| Wed, 25 May 2016 11:50:58 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Wed, 25 Dec 2013 17:39:06 +0100 | haftmann | prefer more canonical names for lemmas on min/max | file | diff | annotate |
| Sat, 10 Sep 2011 22:11:55 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |