spelling
authorpaulson
Mon Mar 10 12:53:27 2003 +0100 (2003-03-10)
changeset 13852dd2cd94a51e6
parent 13851 f6923453953a
child 13853 89131afa9f01
spelling
src/HOL/README.html
     1.1 --- a/src/HOL/README.html	Thu Mar 06 15:08:38 2003 +0100
     1.2 +++ b/src/HOL/README.html	Mon Mar 10 12:53:27 2003 +0100
     1.3 @@ -65,7 +65,7 @@
     1.4  <dd>lattices and order structures (in Isabelle/Isar)
     1.5  
     1.6  <dt>Lex
     1.7 -<dd>verification of a simple lexical analyzer generator
     1.8 +<dd>verification of a simple lexical analyser generator
     1.9  
    1.10  <dt>MicroJava
    1.11  <dd>formalization of a fragment of Java, together with a corresponding