| changeset 465 | 4dac76eb27d9 |
| parent 411 | a430e494cb19 |
| 464:ae516c20c5f1 | 465:4dac76eb27d9 |
|---|---|
10 |
10 |
11 <body> |
11 <body> |
12 |
12 |
13 <META |
13 <META |
14 HTTP-EQUIV="Refresh" |
14 HTTP-EQUIV="Refresh" |
15 CONTENT="2; URL=http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/"> |
15 CONTENT="2; URL=http://nms.kcl.ac.uk/christian.urban/Nominal/activities/nominal-ijcar08/"> |
16 |
16 |
17 </body> |
17 </body> |
18 </html> |
18 </html> |