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