--- a/src/HOL/ROOT Mon Oct 01 12:19:55 2018 +0200
+++ b/src/HOL/ROOT Mon Oct 01 12:41:35 2018 +0200
@@ -857,7 +857,6 @@
SPARK
session "HOL-SPARK-Examples" in "SPARK/Examples" = "HOL-SPARK" +
- options [spark_prv = false]
theories
"Gcd/Greatest_Common_Divisor"
"Liseq/Longest_Increasing_Subsequence"
@@ -873,7 +872,7 @@
"Sqrt/Sqrt"
session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK" +
- options [show_question_marks = false, spark_prv = false]
+ options [show_question_marks = false]
sessions
"HOL-SPARK-Examples"
theories