src/HOL/Library/README.html
changeset 42062 9fe5daa2e705
parent 31975 366ad09d39ef
child 57412 b441f330078b
equal deleted inserted replaced
42061:71077681eaf6 42062:9fe5daa2e705
    10 <body>
    10 <body>
    11 
    11 
    12 <h1>HOL-Library: supplemental theories for main Isabelle/HOL</h1>
    12 <h1>HOL-Library: supplemental theories for main Isabelle/HOL</h1>
    13 
    13 
    14 This is a collection of generic theories that may be used together
    14 This is a collection of generic theories that may be used together
    15 with main Isabelle/HOL.  Note that theory loader path already includes
    15 with main Isabelle/HOL.
    16 this directory by default.
       
    17 
    16 
    18 <p>
    17 <p>
    19 
    18 
    20 Addition of new theories should be done with some care, as the
    19 Addition of new theories should be done with some care, as the
    21 ``module system'' of Isabelle is rather simplistic.  The following
    20 ``module system'' of Isabelle is rather simplistic.  The following