Nominal/oregon.html--
changeset 415 f1be8028a4a9
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/oregon.html--	Wed Mar 30 17:27:34 2016 +0100
@@ -0,0 +1,21 @@
+<?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>
+
+
+