# HG changeset patch
# User paulson
# Date 1047297207 -3600
# Node ID dd2cd94a51e65bc1e777ea7a130a5221ef11b0fd
# Parent  f6923453953a293ec8d0f5cba37ddfa80874420c
spelling

diff -r f6923453953a -r dd2cd94a51e6 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