| Fri, 15 Jul 2016 15:19:04 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Sat, 10 Oct 2015 21:43:07 +0200 | wenzelm | tuned syntax -- more symbols; | file | diff | annotate |
| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 11 Nov 2014 15:55:31 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 11 Nov 2014 11:41:58 +0100 | wenzelm | more Isar proof methods; | file | diff | annotate |
| Mon, 10 Nov 2014 21:49:48 +0100 | wenzelm | proper context for assume_tac (atac remains as fall-back without context); | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Sun, 13 Mar 2011 22:55:50 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Fri, 02 Jun 2006 18:24:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 02 Jun 2006 18:15:38 +0200 | wenzelm | removed obsolete ML files; | file | diff | annotate |
| Fri, 16 Sep 2005 23:01:29 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Fri, 10 Oct 1997 17:10:12 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Mon, 05 Feb 1996 14:44:09 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |