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 @@

HOL-Library: supplemental theories for main Isabelle/HOL

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.