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