equal
deleted
inserted
replaced
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 |