| changeset 70905 | a6304b4664b6 |
| parent 70606 | 4f4ede010687 |
| child 70906 | b9567a9f44a0 |
| 70904:caf91f9b847b | 70905:a6304b4664b6 |
|---|---|
2 |
2 |
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, export_theory, export_proofs] |
7 options [threads = 1] |
8 theories [export_theory, export_proofs] |
|
9 Pure (global) |
|
8 theories |
10 theories |
9 Pure (global) |
|
10 ML_Bootstrap (global) |
11 ML_Bootstrap (global) |
11 Sessions |
12 Sessions |