changeset 70606 | 4f4ede010687 |
parent 69319 | baccaf89ca0d |
child 70905 | a6304b4664b6 |
70605:048cf2096186 | 70606:4f4ede010687 |
---|---|
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] |
7 options [threads = 1, export_theory, export_proofs] |
8 theories |
8 theories |
9 Pure (global) |
9 Pure (global) |
10 ML_Bootstrap (global) |
10 ML_Bootstrap (global) |
11 Sessions |
11 Sessions |