src/HOL/Lambda/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2002-07-16 nipkow 2002-07-16 *** empty log message ***
2000-05-20 nipkow 2000-05-20 fixed link
1996-11-05 nipkow 1996-11-05 New version of paper.
1996-04-04 nipkow 1996-04-04 Moved link to paper.
1996-03-05 paulson 1996-03-05 Put quotes around URLs in links
1996-03-05 paulson 1996-03-05 Put quotes around URLs in links
1996-02-22 nipkow 1996-02-22 Moved documentation
1996-01-06 nipkow 1996-01-06 Minor mod.
1995-11-19 nipkow 1995-11-19 New README.html fuile