<?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://nms.kcl.ac.uk/christian.urban/Nominal/activities/oregon.html">
</body>
</html>