src/HOL/README.html

--- a/src/HOL/README.html	Thu Mar 06 15:08:38 2003 +0100
+++ b/src/HOL/README.html	Mon Mar 10 12:53:27 2003 +0100
@@ -65,7 +65,7 @@
 <dd>lattices and order structures (in Isabelle/Isar)
 
 <dt>Lex
-<dd>verification of a simple lexical analyzer generator
+<dd>verification of a simple lexical analyser generator
 
 <dt>MicroJava
 <dd>formalization of a fragment of Java, together with a corresponding