src/HOL/Library/README.html
changeset 28504 7ad7d7d6df47
parent 26406 be5b78d95801
child 31975 366ad09d39ef
     1.1 --- a/src/HOL/Library/README.html	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/src/HOL/Library/README.html	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  
     1.5  <dd>Non-ASCII symbols should be used as appropriate, with some
     1.6  care. In particular, avoid unreadable arrows: <tt>==&gt;</tt> should
     1.7 -be preferred over <tt>\&lt;Longrightarrow&gt;</tt>. Use <tt>isatool
     1.8 +be preferred over <tt>\&lt;Longrightarrow&gt;</tt>. Use <tt>isabelle
     1.9  unsymbolize</tt> to clean up the sources.
    1.10  
    1.11  <p>