| Wed, 29 Oct 2014 14:14:36 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Sat, 16 Aug 2014 19:20:11 +0200 | wenzelm | updated to named_theorems; | file | diff | annotate |
| Fri, 21 Feb 2014 00:09:56 +0100 | blanchet | adapted to renaming of datatype 'cases' and 'recs' to 'case' and 'rec' | file | diff | annotate |
| Sun, 12 Jan 2014 14:32:22 +0100 | wenzelm | tuned signature; | 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 |
| Fri, 13 May 2011 23:58:40 +0200 | wenzelm | clarified map_simpset versus Simplifier.map_simpset_global; | file | diff | annotate |
| Fri, 13 May 2011 22:55:00 +0200 | wenzelm | proper Proof.context for classical tactics; | file | diff | annotate |