| Thu, 27 Aug 2015 21:19:48 +0200 | haftmann | standardized some occurences of ancient "split" alias | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 07 Jul 2015 18:37:24 +0200 | blanchet | have the installed termination prover take a 'quiet' flag | file | diff | annotate |
| Wed, 08 Apr 2015 11:52:53 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 15 Dec 2014 07:20:48 +0100 | blanchet | renamed theory file | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |