| Thu, 11 Sep 2014 18:54:36 +0200 | blanchet | renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new' | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | adapted theories to 'xxx_case' to 'case_xxx' | 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, 12 Apr 2013 17:02:55 +0200 | wenzelm | removed historic comments; | file | diff | annotate |
| Sun, 20 Nov 2011 21:05:23 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Fri, 13 May 2011 22:55:00 +0200 | wenzelm | proper Proof.context for classical tactics; | file | diff | annotate |
| Tue, 26 Apr 2011 17:03:13 +0200 | wenzelm | simplified/modernized method setup; | file | diff | annotate |