--- a/Nominal/menu.html-- Wed Mar 30 17:27:34 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,138 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
-<html>
-<head>
- <title>Menu</title>
- <style type="text/css">
- a:link{text-decoration:none;}
- a:visited{text-decoration:none;}
- a:hover{text-decoration:underline;}
- </style>
-</head>
-
-
-<body style="color: rgb(0,0,0);" alink="#000099" link="#000099" vlink="#990099">
-
-<span style="font-weight: bold; color: rgb(255, 255, 255);"></span>
-<table style="text-align: left; width: 100%;" border="0" cellpadding="2" cellspacing="0">
-
-
-<tbody>
-
-<tr>
-<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
-Navigation</span></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="main.html" target="content">
-Overview</a> </td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a target="content" href="documentation.html">
-Documentation</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="download.html" target="content">
-Download</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle" target="_top">
-Mailing List</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="activities.html" target="content">
-Activities</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
-Members and Local Friends</span></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top">
-Christian Urban</a> (chair)</td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://cl-informatik.uibk.ac.at/users/cek/" target="_top">
-Cezary Kaliszyk</a> </td>
-</tr>
-
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);">Chunhan Wu</td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
-International Friends</span></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cl.cam.ac.uk/~amp12/" target="_top">
-Andrew Pitts</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://www4.in.tum.de/~berghofe/" target="_top">
-Stefan Berghofer</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://www4.in.tum.de/~wenzelm/" target="_top">
-Markus Wenzel</a></td>
-</tr>
-
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cis.upenn.edu/~bcpierce/" target="_top">
-Benjamin Pierce</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cis.upenn.edu/~stevez/" target="_top">
-Steve Zdancewic</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://ssrg.nicta.com.au/people/?cn=Michael+Norrish" target="_top">
-Michael Norrish</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://homepages.inf.ed.ac.uk/jcheney/" target="_top">
-James Cheney</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://www.itu.dk/people/jebe/" target="_top">
-Jesper Bengtson</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://dpt-info.u-strasbg.fr/~narboux/" target="_top">
-Julien Narboux</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://homepages.inf.ed.ac.uk/rap/" target="_top">
-Randy Pollack</a></td>
-</tr>
-
-<tr>
-<td style="background-color: rgb(224, 224, 240);"><a href="http://user.it.uu.se/~tjawe125/" target="_top">
-Tjark Weber</a></td>
-</tr>
-
-</tbody>
-</table>
-
-</script -->
-</body>
-</html>