src/HOL/TLA/README.html
changeset 5383 74c2da44d144
parent 3849 3ea10bfd329d
child 6255 db63752140c7
     1.1 --- a/src/HOL/TLA/README.html	Thu Aug 27 11:19:35 1998 +0200
     1.2 +++ b/src/HOL/TLA/README.html	Thu Aug 27 11:50:18 1998 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  
     1.5  The distribution includes the following examples:
     1.6  <UL>
     1.7 -  <li> a verification of Lamport's <quote>increment</quote> example
     1.8 +  <li> a verification of Lamport's <em>increment</em> example
     1.9    (subdirectory inc),<P>
    1.10  
    1.11    <li> a proof that two buffers in a row implement a single buffer