src/HOL/TLA/README.html

--- a/src/HOL/TLA/README.html	Thu Aug 27 11:19:35 1998 +0200
+++ b/src/HOL/TLA/README.html	Thu Aug 27 11:50:18 1998 +0200
@@ -26,7 +26,7 @@
 
 The distribution includes the following examples:
 <UL>
-  <li> a verification of Lamport's <quote>increment</quote> example
+  <li> a verification of Lamport's <em>increment</em> example
   (subdirectory inc),<P>
 
   <li> a proof that two buffers in a row implement a single buffer