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