--- a/Nominal/ijcar-08.html--	Wed Mar 30 17:27:34 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"
-   "http://www.w3.org/TR/html4/frameset.dtd">
-<html>
-<head>
-    <meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
-    <title>Nominal Methods Group</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/nominal-ijcar08/">
-
-</body>
-</html>
changeset 416	75df587e1bcd
parent 415	f1be8028a4a9
child 417	9f5d825580b7