| Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | file | diff | annotate |
| Wed, 10 Apr 2013 15:30:19 +0200 | wenzelm | more standard module name Axclass (according to file name); | file | diff | annotate |