| Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
| Sat, 14 May 2011 11:42:43 +0200 | wenzelm | modernized functor names; | file | diff | annotate |
| Fri, 18 Feb 2011 17:03:30 +0100 | wenzelm | modernized specifications; | file | diff | annotate |
| Fri, 23 Apr 2010 23:35:43 +0200 | wenzelm | mark schematic statements explicitly; | file | diff | annotate |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Tue, 18 Mar 2008 22:19:18 +0100 | wenzelm | converted legacy ML scripts; | file | diff | annotate |
| Wed, 04 Apr 2007 00:10:59 +0200 | wenzelm | ML antiquotes; | file | diff | annotate |
| Sun, 18 Sep 2005 14:25:48 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Fri, 10 Oct 1997 16:29:41 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Mon, 05 Feb 1996 21:33:14 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 02 Jun 1995 10:38:48 +0200 | lcp | Corrected comments in headers | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |