changeset 42062 | 9fe5daa2e705 |
parent 31975 | 366ad09d39ef |
child 57412 | b441f330078b |
--- 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>