| author | Christian Urban <urbanc@in.tum.de> | 
| Tue, 26 Sep 2017 11:14:38 +0100 | |
| changeset 506 | 8e633f1d0d38 | 
| parent 415 | f1be8028a4a9 | 
| permissions | -rw-r--r-- | 
| 
415
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
1  | 
<?xml version="1.0" encoding="utf-8"?>  | 
| 
 
f1be8028a4a9
updated
 
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">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
3  | 
<html>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
4  | 
<head>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
5  | 
<title>Nominal Methods Group</title>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
6  | 
<link rel="stylesheet" href="nominal.css">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
7  | 
</head>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
8  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
9  | 
<body>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
10  | 
<div align="center">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
11  | 
<table width="95%">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
12  | 
<tbody>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
13  | 
<tr>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
14  | 
<td align="left">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
15  | 
<META HTTP-EQUIV="Refresh" CONTENT="5; URL=http://www.dcs.kcl.ac.uk/staff/urbanc/Cookbook">  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
16  | 
<p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
17  | 
<B>This page moved to King's College London. You will be automatically forwarded to my new  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
18  | 
<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Cookbook" target="_top">homepage</A>.</B>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
19  | 
</td>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
20  | 
</tr>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
21  | 
</tbody>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
22  | 
</table>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
23  | 
</div>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
24  | 
|
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
25  | 
<p>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
26  | 
<P>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
27  | 
<!-- hhmts start -->  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
28  | 
Last modified: Mon Oct 31 00:52:05 GMT 2011  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
29  | 
<!-- hhmts end -->  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
30  | 
</body>  | 
| 
 
f1be8028a4a9
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
31  | 
</html>  |