| 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 |