| author | Christian Urban <urbanc@in.tum.de> |
| Fri, 16 Dec 2016 10:32:39 +0000 | |
| changeset 462 | 8c50d291d9d5 |
| parent 411 | a430e494cb19 |
| child 465 | 4dac76eb27d9 |
| permissions | -rw-r--r-- |
<?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>