# HG changeset patch
# User nipkow
# Date 832668746 -7200
# Node ID 88e0d3160909fc6e239c5913af275172e59a61f8
# Parent  7dfc3c217414be2f5bb0d26b8de1c28da05535e8
Corrected comment wrt I

diff -r 7dfc3c217414 -r 88e0d3160909 src/HOL/MiniML/README.html
--- a/src/HOL/MiniML/README.html	Tue May 21 10:50:40 1996 +0200
+++ b/src/HOL/MiniML/README.html	Tue May 21 10:52:26 1996 +0200
@@ -6,7 +6,7 @@
 This theory defines the type inference rules and the type inference algorithm
 <em>W</em> for simply-typed lambda terms due to Milner. It proves the
 soundness and completeness of <em>W</em> w.r.t. to the rules. An optimized
-version <em>I</em> is shown equivalent to <em>W</em> (one direction only).
+version <em>I</em> is shown to implement <em>W</em>.
 
 <P>