src/HOL/Hoare/README.html
Wed, 11 Aug 2010 18:41:06 +0200 wenzelm modernized specifications;
Wed, 06 Apr 2005 18:13:30 +0200 nipkow updated it
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Sun, 23 Mar 2003 11:57:07 +0100 nipkow *** empty log message ***
Fri, 12 Mar 1999 22:02:51 +0100 wenzelm made weblint happy;
Wed, 14 Oct 1998 15:47:22 +0200 nipkow Description of new version.
Wed, 14 Oct 1998 15:26:31 +0200 nipkow New many-sorted version.
Thu, 02 May 1996 10:20:15 +0200 nipkow Added note on types.
Fri, 17 Nov 1995 09:04:10 +0100 nipkow New directory.
less more (0) tip