src/HOL/MiniML/README.html
changeset 1752 7dfc3c217414
parent 1519 f999804f11ea
child 1753 88e0d3160909
equal deleted inserted replaced
1751:946efd210837 1752:7dfc3c217414
     9 version <em>I</em> is shown equivalent to <em>W</em> (one direction only).
     9 version <em>I</em> is shown equivalent to <em>W</em> (one direction only).
    10 
    10 
    11 <P>
    11 <P>
    12 
    12 
    13 A report describing the theory is found here:<br>
    13 A report describing the theory is found here:<br>
    14 <A HREF = "http://www4.informatik.tu-muenchen.de/~nipkow/pubs/W0.html">
    14 <A HREF = "http://www4.informatik.tu-muenchen.de/~nipkow/pubs/tphol96.html">
    15 Formal Verification of Algorithm W: The Monomorphic Case</A>.
    15 Formal Verification of Algorithm W: The Monomorphic Case</A>.
    16 
    16 
    17 </BODY>
    17 </BODY>
    18 </HTML>
    18 </HTML>