--- a/src/HOL/README.html Mon Apr 12 23:53:53 2004 +0200
+++ b/src/HOL/README.html Mon Apr 12 23:59:19 2004 +0200
@@ -64,17 +64,11 @@
<dt>Lattice
<dd>lattices and order structures (in Isabelle/Isar)
-<dt>Lex
-<dd>verification of a simple lexical analyser generator
-
<dt>MicroJava
<dd>formalization of a fragment of Java, together with a corresponding
virtual machine and a specification of its bytecode verifier and a
lightweight bytecode verifier, including proofs of type-safety.
-<dt>MiniML
-<dd>formalization of type inference for the language Mini-ML
-
<dt>Modelcheck
<dd>basic setup for integration of some model checkers in Isabelle/HOL