--- a/Admin/page/main-content/munich.content Thu Dec 09 13:11:12 1999 +0100
+++ b/Admin/page/main-content/munich.content Thu Dec 09 13:14:27 1999 +0100
@@ -14,7 +14,6 @@
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
@@ -44,15 +43,15 @@
<li> <b><a href="Bali/">Isabelle/Bali</a></b> Java and JVM
formalization --- type system, semantics, compilers
-<li> <b>Isabelle/HOOL</b> Object-oriented verification of Java
-programs
-
<li> <b><a href="Isar/">Isabelle/Isar</a></b> Intelligible
semi-automated reasoning --- readable formal proof documents
<li><b><a href="IOA/">Isabelle/IOA</a></b> Verification of
distributed, reactive systems using I/O Automata
+<li> <b>Isabelle/HOOL</b> Object-oriented verification of
+object-oriented programs
+
</ul>
<p>
@@ -74,3 +73,4 @@
</ul>
+