8056
|
1 |
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
|
|
2 |
<html>
|
|
3 |
<!-- _GP_ include("$pwd/common/functions.pl") -->
|
|
4 |
<head>
|
|
5 |
<title> <!-- _GP_ content("title") --> </title>
|
|
6 |
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
|
|
7 |
<!-- _GP_ content("meta") -->
|
|
8 |
<script language="JavaScript">
|
|
9 |
<!--
|
|
10 |
if( top.parent.frames.length > 0)
|
|
11 |
top.parent.location.href = self.location.href;
|
|
12 |
// -->
|
|
13 |
</script>
|
|
14 |
</head>
|
|
15 |
|
|
16 |
<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
|
|
17 |
|
10016
|
18 |
<table border="0" cellspacing="5" width="100%">
|
8056
|
19 |
|
|
20 |
<tr>
|
|
21 |
<td width="20%" valign="top" bgcolor="#aacccc">
|
|
22 |
<!-- _GP_ include("$pwd/main-layout/navigation.html") -->
|
|
23 |
</td>
|
|
24 |
|
|
25 |
<td width="80%" valign="top">
|
|
26 |
|
|
27 |
<center>
|
|
28 |
<table width="95%" border="0" cellspacing="10" cellpadding="10">
|
|
29 |
<tr>
|
|
30 |
<td width="60%" align="center" bgcolor="#aacccc">
|
|
31 |
<b>
|
|
32 |
<font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
|
|
33 |
</b>
|
|
34 |
</td>
|
|
35 |
<td width="40%" valign="middle" align="center" nowrap>
|
|
36 |
<a href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
|
|
37 |
border=0 width="48" height="59" alt="[Munich logo]"></a>
|
|
38 |
|
|
39 |
<a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
|
|
40 |
src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
|
|
41 |
</td>
|
|
42 |
</tr>
|
|
43 |
</table>
|
|
44 |
</center>
|
|
45 |
|
|
46 |
<p>
|
|
47 |
|
|
48 |
<center>
|
|
49 |
<table width="99%" border="0" cellspacing="0" cellpadding="10">
|
|
50 |
<tr>
|
|
51 |
<td align="left">
|
|
52 |
<!-- _GP_ content("body") -->
|
|
53 |
</td>
|
|
54 |
</tr>
|
|
55 |
</table>
|
|
56 |
</center>
|
|
57 |
</td>
|
|
58 |
</tr>
|
|
59 |
|
|
60 |
<tr>
|
|
61 |
<td align="right" colspan="2" height="20">
|
|
62 |
<table border="0" cellpadding="4" cellspacing="0">
|
|
63 |
<tr><td>
|
|
64 |
<font size="-1" face="helvetica, arial">
|
|
65 |
last update at <!-- _GP_ when -->
|
|
66 |
</font>
|
|
67 |
</td></tr>
|
|
68 |
</table>
|
|
69 |
</td>
|
|
70 |
</tr>
|
|
71 |
|
|
72 |
</table>
|
|
73 |
</body>
|
|
74 |
</html>
|