changeset 65374 | a5b38d8d3c1e |
parent 64314 | 93de02f9c2d9 |
child 65473 | b47373f52451 |
65373:905ed0102c69 | 65374:a5b38d8d3c1e |
---|---|
3 session Pure = |
3 session Pure = |
4 description {* |
4 description {* |
5 The Pure logical framework |
5 The Pure logical framework |
6 *} |
6 *} |
7 options [threads = 1] |
7 options [threads = 1] |
8 global_theories |
|
9 Pure |
|
10 theories |
8 theories |
9 Pure (global) |
|
11 ML_Bootstrap |
10 ML_Bootstrap |