| changeset 10019 | 7564e6723fb8 |
| parent 8455 | 2b828d22b538 |
| child 10180 | 149878bae19c |
--- a/Admin/page/main-content/munich.content Mon Sep 18 14:49:58 2000 +0200 +++ b/Admin/page/main-content/munich.content Mon Sep 18 15:21:01 2000 +0200 @@ -14,6 +14,7 @@ Munich (<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>). This is the local page of the Munich group. + <h2>People</h2> The following people are involved in Isabelle applications or