| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 18 Oct 2015 21:30:01 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 27 Feb 2014 21:27:58 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | file | diff | annotate |
| Fri, 17 Dec 2010 14:09:37 +0100 | wenzelm | clarified exports of structure Simplifier; | file | diff | annotate |
| Tue, 25 May 2010 22:21:31 +0200 | wenzelm | moved ML files where they are actually used; | file | diff | annotate | base |