| author | wenzelm |
| Mon, 15 Feb 2016 14:55:44 +0100 | |
| changeset 62337 | d3996d5873dd |
| 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'" |