| author | wenzelm |
| Wed, 04 Oct 2017 12:00:53 +0200 | |
| changeset 66787 | 64b47495676d |
| parent 59810 | e749a0f2f401 |
| permissions | -rw-r--r-- |
|
59810
e749a0f2f401
HOL-SPARK .prv files are subject to system option spark_prv;
wenzelm
parents:
diff
changeset
|
1 |
(* :mode=isabelle-options: *) |
|
e749a0f2f401
HOL-SPARK .prv files are subject to system option spark_prv;
wenzelm
parents:
diff
changeset
|
2 |
|
|
e749a0f2f401
HOL-SPARK .prv files are subject to system option spark_prv;
wenzelm
parents:
diff
changeset
|
3 |
section "HOL-SPARK" |
|
e749a0f2f401
HOL-SPARK .prv files are subject to system option spark_prv;
wenzelm
parents:
diff
changeset
|
4 |
|
|
e749a0f2f401
HOL-SPARK .prv files are subject to system option spark_prv;
wenzelm
parents:
diff
changeset
|
5 |
option spark_prv : bool = true |
|
e749a0f2f401
HOL-SPARK .prv files are subject to system option spark_prv;
wenzelm
parents:
diff
changeset
|
6 |
-- "produce proof review file after 'spark_end'" |