public_html: Nominal/menu.html@7108aeec5080 (annotated)

402 9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	<?xml version="1.0" encoding="utf-8"?>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	<html>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	<head>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	<title>Menu</title>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	<style type="text/css">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	a:link{text-decoration:none;}
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	a:visited{text-decoration:none;}
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	a:hover{text-decoration:underline;}
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	</style>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	</head>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	<body style="color: rgb(0,0,0);" alink="#000099" link="#000099" vlink="#990099">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	<span style="font-weight: bold; color: rgb(255, 255, 255);"></span>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	<table style="text-align: left; width: 100%;" border="0" cellpadding="2" cellspacing="0">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	<tbody>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	Navigation</span></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	<td style="background-color: rgb(224, 224, 240);"> <a href="main.html" target="content">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	Overview</a> </td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	<td style="background-color: rgb(224, 224, 240);"><a target="content" href="documentation.html">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	Documentation</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	<td style="background-color: rgb(224, 224, 240);"><a href="download.html" target="content">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	Download</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	<td style="background-color: rgb(224, 224, 240);"><a href="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	Mailing List</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	<td style="background-color: rgb(224, 224, 240);"><a href="activities.html" target="content">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	Activities</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	Members and Local Friends</span></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	<td style="background-color: rgb(224, 224, 240);"><a href="http://http://www.inf.kcl.ac.uk/staff/urbanc/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	Christian Urban</a> (chair)</td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	<td style="background-color: rgb(224, 224, 240);"><a href="http://cl-informatik.uibk.ac.at/users/cek/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	Cezary Kaliszyk</a> </td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	<td style="background-color: rgb(224, 224, 240);">Chunhan Wu</td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	<td style="background-color: rgb(117, 117, 218);"><span style="font-weight: bold; color: rgb(255, 255, 255);">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	International Friends</span></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cl.cam.ac.uk/~amp12/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	Andrew Pitts</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	<td style="background-color: rgb(224, 224, 240);"><a href="http://www4.in.tum.de/~berghofe/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	Stefan Berghofer</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	<td style="background-color: rgb(224, 224, 240);"><a href="http://www4.in.tum.de/~wenzelm/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	Markus Wenzel</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cis.upenn.edu/~bcpierce/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	Benjamin Pierce</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	<td style="background-color: rgb(224, 224, 240);"><a href="http://www.cis.upenn.edu/~stevez/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	Steve Zdancewic</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	101	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104	<td style="background-color: rgb(224, 224, 240);"><a href="http://users.rsise.anu.edu.au/~michaeln/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105	Michael Norrish</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109	<td style="background-color: rgb(224, 224, 240);"><a href="http://homepages.inf.ed.ac.uk/jcheney/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	110	James Cheney</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	111	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	114	<td style="background-color: rgb(224, 224, 240);"><a href="http://www.it.uu.se/katalog/jesperb/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	115	Jesper Bengtson</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	116	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	117
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	118	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	119	<td style="background-color: rgb(224, 224, 240);"><a href="http://dpt-info.u-strasbg.fr/~narboux/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	120	Julien Narboux</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	121	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	122
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	123	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	124	<td style="background-color: rgb(224, 224, 240);"><a href="http://homepages.inf.ed.ac.uk/rap/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	125	Randy Pollack</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	126	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	127
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	128	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	129	<td style="background-color: rgb(224, 224, 240);"><a href="http://user.it.uu.se/~tjawe125/" target="_top">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	130	Tjark Weber</a></td>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	131	</tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	132
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	133
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	134
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	135	<tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	136	<td style="background-color: rgb(224, 224, 240);">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	137	<br><br><br><br>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	138	<a href="http://www4.clustrmaps.com/counter/maps.php?url=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/" id="clustrMapsLink" target="_top"><img src="http://www4.clustrmaps.com/counter/index2.php?url=http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/" style="border:0px;" alt="Locations of visitors to this page" title="Locations of visitors to this page" id="clustrMapsImg" onError="this.onError=null; this.src='http://www2.clustrmaps.com/images/clustrmaps-back-soon.jpg'; document.getElementById('clustrMapsLink').href='http://www2.clustrmaps.com'" />
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	139	</a></td></tr>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	140	</tbody>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	141	</table>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	142
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	143
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	144	<!-- script type="text/javascript">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	145	var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	146	document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	147	</script>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	148	<script type="text/javascript">
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	149	var pageTracker = _gat._getTracker("UA-4143458-1");
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	150	pageTracker._initData();
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	151	pageTracker._trackPageview();
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	152	</script -->
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	153	</body>
9e089afe5086 added Nominal Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	154	</html>

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Wed, 30 Mar 2016 16:25:12 +0100
changeset 403	7108aeec5080
parent 402	9e089afe5086
child 405	78d68c3da9d3
permissions	-rw-r--r--