changeset 25750 | 4e796867ccb5 |
parent 25496 | 0a779502be57 |
child 25953 | 03937086b1fe |
25749:10e7feb4e595 | 25750:4e796867ccb5 |
---|---|
2 ID: $Id$ |
2 ID: $Id$ |
3 |
3 |
4 Pure Isabelle. |
4 Pure Isabelle. |
5 *) |
5 *) |
6 |
6 |
7 val banner = "Pure Isabelle"; |
|
8 val version = "Isabelle repository version"; (*filled in automatically!*) |
7 val version = "Isabelle repository version"; (*filled in automatically!*) |
9 |
8 |
10 (*if true then some tools will OMIT some proofs*) |
9 (*if true then some tools will OMIT some proofs*) |
11 val quick_and_dirty = ref false; |
10 val quick_and_dirty = ref false; |
12 |
11 |