src/HOL/Hoare/README.html
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