equal
deleted
inserted
replaced
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
3 <html> |
3 <html> |
4 <head> |
4 <head> |
5 <title>The Nominal Datatype Package</title> |
5 <title>The Nominal Datatype Package</title> |
6 <link rel="stylesheet" href="nominal.css"> |
6 <link rel="stylesheet" href="nominal.css"> |
|
7 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal"> |
|
8 |
7 </head> |
9 </head> |
8 |
10 |
9 <body> |
11 <body> |
10 <h1>Mechanising the Metatheory of LF</h1> |
12 <h1>Mechanising the Metatheory of LF</h1> |
11 |
13 |