| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Mon, 11 Jan 2016 21:21:02 +0100 | wenzelm | eliminated old defs; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Wed, 30 Mar 2011 23:26:40 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | 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 |
| Wed, 08 Aug 2001 14:51:30 +0200 | paulson | Main is the proper parent of IOA | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 08 Jan 1998 18:00:42 +0100 | oheimb | corrected Title | file | diff | annotate |
| Wed, 30 Apr 1997 11:56:17 +0200 | mueller | old IOA meta theory (see also new version in HOLCF/IOA/meta_theory); | file | diff | annotate |