src/HOL/IOA/IOA.thy
Wed, 07 Jun 2006 00:57:14 +0200 wenzelm removed obsolete ML files;
Tue, 06 Sep 2005 19:03:39 +0200 wenzelm converted to Isar theory format;
Wed, 08 Aug 2001 14:51:30 +0200 paulson Main is the proper parent of IOA
Thu, 08 Jan 1998 18:00:42 +0100 oheimb corrected Title
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Wed, 30 Apr 1997 11:56:17 +0200 mueller old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);
less more (0) tip