| Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | file | diff | annotate |
| Mon, 06 Sep 2010 19:13:10 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Wed, 07 Jun 2006 00:57:14 +0200 | wenzelm | removed obsolete ML files; | file | diff | annotate |
| Tue, 06 Sep 2005 19:03:39 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |