# HG changeset patch
# User kleing
# Date 980420392 -3600
# Node ID 4b47d8aaf5af627c16d6b81351a9e1db640f6c24
# Parent  0e7cf6f9fa29e610eb5ef207a9f2470ac40245a5
added Martin Strecker, Christian Buttenberg, Alexandra Kirsch and project
Verificard

diff -r 0e7cf6f9fa29 -r 4b47d8aaf5af Admin/page/main-content/munich.content
--- a/Admin/page/main-content/munich.content	Wed Jan 24 21:01:47 2001 +0100
+++ b/Admin/page/main-content/munich.content	Thu Jan 25 11:59:52 2001 +0100
@@ -32,6 +32,7 @@
 <li> <a href="http://www4.in.tum.de/~oheimb/">David von Oheimb</a>
 <li> <a href="http://www4.in.tum.de/~prensani/">Leonor Prensa Nieto</a>
 <li> <a href="http://www4.in.tum.de/~pusch/">Cornelia Pusch</a>
+<li> <a href="http://www4.in.tum.de/~streckem/">Martin Strecker</a>
 <li> <a href="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</a>
 
 </ul>
@@ -41,6 +42,8 @@
 
 <ul>
 
+<li> <a href="mailto:buttenbe@in.tum.de">Christian Buttenberg</a> </li>
+<li> <a href="http://home.informatik.tu-muenchen.de/~kirsch/">Alexandra Kirsch</a> </li>
 <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>
 
@@ -65,6 +68,9 @@
 <li> <b>Isabelle/HOOL</b> Object-oriented verification of
 object-oriented programs
 
+<li> <b><a href="VerifiCard/">Isabelle/VerifiCard</a></b>
+Tool-assisted Specification and Verification of JavaCardŽ Programs
+
 </ul>
 
 <p>
@@ -72,5 +78,3 @@
 <b>Important local information:</b> Students are welcome to
 participate, see <a href="stud/index.html">Isabelle Projekte für
 Studenten</a> (in German) for more information.
-
-