# HG changeset patch
# User blanchet
# Date 1300814867 -3600
# Node ID 9fe5daa2e7059985fbe3420e4fc3b7f2c289ed08
# Parent  71077681eaf65bf14ee966644b4d41ef6eba45fe
remove lie from documentation

diff -r 71077681eaf6 -r 9fe5daa2e705 src/HOL/Library/README.html
--- a/src/HOL/Library/README.html	Tue Mar 22 17:20:54 2011 +0100
+++ b/src/HOL/Library/README.html	Tue Mar 22 18:27:47 2011 +0100
@@ -12,8 +12,7 @@
 <h1>HOL-Library: supplemental theories for main Isabelle/HOL</h1>
 
 This is a collection of generic theories that may be used together
-with main Isabelle/HOL.  Note that theory loader path already includes
-this directory by default.
+with main Isabelle/HOL.
 
 <p>