| 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 |