--- a/Admin/page/main-content/munich.content Mon Nov 13 08:53:57 2000 +0100
+++ b/Admin/page/main-content/munich.content Mon Nov 13 10:34:32 2000 +0100
@@ -18,7 +18,9 @@
<h2>People</h2>
The following people are involved in Isabelle applications or
-development at our group (alphabetical order):
+development in our group (alphabetical order):
+<p>
+<b>Researches:</b>
<ul>
@@ -34,6 +36,16 @@
</ul>
+<p>
+<b>Students:</b>
+
+<ul>
+
+<li> <a href="http://www.informatik.tu-muenchen.de/~nanz/">Sebastian Nanz</a> </li>
+<li> <a href="http://www.informatik.tu-muenchen.de/~pfeifrot/">Johannes Pfeifroth</a> </li>
+
+</ul>
+
<h2>Projects</h2>