| changeset 70914 | 05c4c6a99b3f |
| parent 70906 | b9567a9f44a0 |
| child 70917 | 693e811b91bb |
| 70913:935c78a90ee0 | 70914:05c4c6a99b3f |
|---|---|
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_proofs] |
7 options [threads = 1, export_proofs, export_standard_proofs] |
8 theories [export_theory] |
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 |