| changeset 402 | 9e089afe5086 |
| child 411 | a430e494cb19 |
| 401:3f6d96fa5901 | 402:9e089afe5086 |
|---|---|
1 <?xml version="1.0" encoding="utf-8"?> |
|
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
3 <html> |
|
4 <head> |
|
5 <title>The Nominal Datatype Package</title> |
|
6 <link rel="stylesheet" href="nominal.css"> |
|
7 </head> |
|
8 |
|
9 <body> |
|
10 |
|
11 <META |
|
12 HTTP-EQUIV="Refresh" |
|
13 CONTENT="2; URL=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/oregon.html"> |
|
14 |
|
15 |
|
16 |
|
17 </body> |
|
18 </html> |
|
19 |
|
20 |
|
21 |