--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/activities/idp/index.html Wed Mar 30 17:27:34 2016 +0100
@@ -0,0 +1,23 @@
+<!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">
+ <BASE HREF="http://isabelle.in.tum.de/nominal/">
+</head>
+<META HTTP-EQUIV="Refresh" CONTENT="5; URL=http://www.dcs.kcl.ac.uk/staff/urbanc/Cookbook">
+ <frameset ROWS="130,*">
+ <frame scrolling="no" frameborder="0" noresize="noresize" SRC="activities/idp/title.html" NAME="title">
+
+
+ <frameset COLS="200,*">
+ <frame scrolling="no" frameborder="0" noresize="noresize" SRC="activities/idp/menu.html" NAME="menu">
+
+ <frame noresize="noresize" frameborder="0" SRC="activities/idp/main.html" NAME="content">
+
+ </frameset>
+ </frameset>
+
+</html>