| Fri, 13 May 2011 22:55:00 +0200 | wenzelm | proper Proof.context for classical tactics; | file | diff | annotate |
| Thu, 12 May 2011 17:17:57 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Tue, 26 Apr 2011 17:23:21 +0200 | wenzelm | simplified/modernized method setup; | file | diff | annotate |
| Fri, 10 Sep 2010 15:48:43 +0200 | wenzelm | proper antiquotations; | file | diff | annotate |