diff -r 43791f99d71e -r ce1cefc6c14c Admin/page/main-content/munich.content
--- a/Admin/page/main-content/munich.content Tue Feb 13 16:05:56 2001 +0100
+++ b/Admin/page/main-content/munich.content Tue Feb 13 16:31:18 2001 +0100
@@ -24,16 +24,16 @@
@@ -42,10 +42,10 @@
@@ -56,20 +56,20 @@
-- Isabelle/Bali Java and JVM
+
- Isabelle/Bali Java and JVM
formalization --- type system, semantics, compilers
-
- Isabelle/Isar Intelligible
+
- Isabelle/Isar Intelligible
semi-automated reasoning --- readable formal proof documents
- Isabelle/IOA Verification of
distributed, reactive systems using I/O Automata
-
- Isabelle/HOOL Object-oriented verification of
+
- Isabelle/HOOL Object-oriented verification of
object-oriented programs
-
- Isabelle/VerifiCard
-Tool-assisted Specification and Verification of JavaCard® Programs
+
- Isabelle/VerifiCard Tool-assisted
+Specification and Verification of JavaCard® Programs