# HG changeset patch
# User wenzelm
# Date 1496859503 -7200
# Node ID 94cfcae2b228dbf275753f3fc1a26b20c4a89181
# Parent  f551ab9475693a1d3346a49343e0529f3b185b35
clarified imports;

diff -r f551ab947569 -r 94cfcae2b228 src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Jun 07 20:06:50 2017 +0200
+++ b/src/HOL/ROOT	Wed Jun 07 20:18:23 2017 +0200
@@ -968,6 +968,8 @@
 
 session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK" +
   options [show_question_marks = false, spark_prv = false]
+  sessions
+    "HOL-SPARK-Examples"
   theories
     Example_Verification
     VC_Principles