Nominal/oregon.html
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 31 Mar 2016 13:02:30 +0100 (2016-03-31)
changeset 420 6600eb5b11cb
parent 411 a430e494cb19
child 465 4dac76eb27d9
permissions -rw-r--r--
updated
<?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://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/oregon.html">



</body>
</html>