src/HOL/Lambda/README.html
Wed, 12 May 2010 14:17:26 +0200 wenzelm removed obsolete CVS Ids;
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
Tue, 16 Jul 2002 09:36:11 +0200 nipkow *** empty log message ***
Sat, 20 May 2000 15:15:02 +0200 nipkow fixed link
Tue, 05 Nov 1996 18:35:40 +0100 nipkow New version of paper.
Thu, 04 Apr 1996 14:36:07 +0200 nipkow Moved link to paper.
Tue, 05 Mar 1996 16:29:01 +0100 paulson Put quotes around URLs in links
Tue, 05 Mar 1996 16:27:01 +0100 paulson Put quotes around URLs in links
Thu, 22 Feb 1996 18:25:19 +0100 nipkow Moved documentation
Sat, 06 Jan 1996 14:02:52 +0100 nipkow Minor mod.
Sun, 19 Nov 1995 14:16:00 +0100 nipkow New README.html fuile
less more (0) tip