| changeset 15582 | 7219facb3fd0 |
| parent 15283 | f21466450330 |
| child 36862 | 952b2b102a0a |
--- a/src/HOL/Lambda/README.html Mon Mar 07 18:40:36 2005 +0100 +++ b/src/HOL/Lambda/README.html Mon Mar 07 19:17:07 2005 +0100 @@ -1,7 +1,14 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!-- $Id$ --> -<HTML><HEAD><TITLE>HOL/Lambda</TITLE></HEAD> + +<HTML> + +<HEAD> + <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> + <TITLE>HOL/Lambda</TITLE> +</HEAD> + <BODY> <H1>Lambda Calculus in de Bruijn's Notation</H1>