--- a/Nominal/oregon.html-- Wed Mar 30 17:27:34 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
-<head>
- <title>The Nominal Datatype Package</title>
- <link rel="stylesheet" href="nominal.css">
-</head>
-
-<body>
-
-<META
- HTTP-EQUIV="Refresh"
- CONTENT="2; URL=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/oregon.html">
-
-
-
-</body>
-</html>
-
-
-