# HG changeset patch
# User kleing
# Date 974108072 -3600
# Node ID adf901eb9c4031e61fdb7192a88a57d94e6911a0
# Parent  96529827ff71d1319bf892d79f2e6f9bf58716b9
added students

diff -r 96529827ff71 -r adf901eb9c40 Admin/page/main-content/munich.content
--- 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>