| author | Christian Urban <urbanc@in.tum.de> | 
| Fri, 16 Dec 2016 10:32:39 +0000 | |
| changeset 462 | 8c50d291d9d5 | 
| parent 402 | 9e089afe5086 | 
| permissions | -rw-r--r-- | 
| 
402
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
1  | 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
2  | 
"http://www.w3.org/TR/html4/frameset.dtd">  | 
| 
 
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  | 
<meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
6  | 
<title>Nominal Methods Group</title>  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
7  | 
<link rel="stylesheet" href="nominal.css">  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
8  | 
</head>  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
9  | 
|
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
10  | 
<frameset ROWS="130,*">  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
11  | 
<frame scrolling="no" frameborder="0" noresize="noresize" SRC="title.html" NAME="title">  | 
| 
 
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  | 
<frameset COLS="200,*">  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
14  | 
|
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
15  | 
<frame scrolling="no" frameborder="0" noresize="noresize" SRC="menu.html"  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
16  | 
NAME="menu">  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
17  | 
|
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
18  | 
<frame noresize="noresize" frameborder="0" SRC="main.html"  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
19  | 
NAME="content">  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
20  | 
|
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
21  | 
</frameset>  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
22  | 
</frameset>  | 
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
23  | 
|
| 
 
9e089afe5086
added Nominal
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
24  | 
</html>  |