| Sun, 10 Jan 2016 19:37:21 -0800 | kleing | print_record: diagnostic printing of record definitions | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | 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 |
| Tue, 03 Jan 2012 13:06:03 +0100 | wenzelm | more benchmarks; | file | diff | annotate |
| Wed, 14 Dec 2011 12:02:02 +0100 | wenzelm | more visible benchmarks; | file | diff | annotate | base |