| changeset 25964 | 080f89d89990 |
| parent 25223 | 7463251e7273 |
| child 26729 | 43a72d892594 |
| 25963:07e08dad8a77 | 25964:080f89d89990 |
|---|---|
13 PreList} already includes most HOL theories. |
13 PreList} already includes most HOL theories. |
14 *} |
14 *} |
15 |
15 |
16 ML {* val HOL_proofs = ! Proofterm.proofs *} |
16 ML {* val HOL_proofs = ! Proofterm.proofs *} |
17 |
17 |
18 ML {* path_add "~~/src/HOL/Library" *} |
|
19 |
|
18 end |
20 end |