src/HOL/ROOT
changeset 66031 94cfcae2b228
parent 66015 70643edecb7a
child 66270 403d84138c5c
     1.1 --- a/src/HOL/ROOT	Wed Jun 07 20:06:50 2017 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Jun 07 20:18:23 2017 +0200
     1.3 @@ -968,6 +968,8 @@
     1.4  
     1.5  session "HOL-SPARK-Manual" in "SPARK/Manual" = "HOL-SPARK" +
     1.6    options [show_question_marks = false, spark_prv = false]
     1.7 +  sessions
     1.8 +    "HOL-SPARK-Examples"
     1.9    theories
    1.10      Example_Verification
    1.11      VC_Principles