remove lie from documentation
authorblanchet
Tue Mar 22 18:27:47 2011 +0100 (2011-03-22)
changeset 420629fe5daa2e705
parent 42061 71077681eaf6
child 42063 a2a69b32d899
remove lie from documentation
src/HOL/Library/README.html
     1.1 --- a/src/HOL/Library/README.html	Tue Mar 22 17:20:54 2011 +0100
     1.2 +++ b/src/HOL/Library/README.html	Tue Mar 22 18:27:47 2011 +0100
     1.3 @@ -12,8 +12,7 @@
     1.4  <h1>HOL-Library: supplemental theories for main Isabelle/HOL</h1>
     1.5  
     1.6  This is a collection of generic theories that may be used together
     1.7 -with main Isabelle/HOL.  Note that theory loader path already includes
     1.8 -this directory by default.
     1.9 +with main Isabelle/HOL.
    1.10  
    1.11  <p>
    1.12