clarified imports;
authorwenzelm
Wed Jun 07 20:18:23 2017 +0200 (23 months ago)
changeset 6603194cfcae2b228
parent 66030 f551ab947569
child 66032 fd8a65b026f1
clarified imports;
src/HOL/ROOT
     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