Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified imports;
authorwenzelm
Wed, 07 Jun 2017 20:18:23 +0200
changeset 66031 94cfcae2b228
parent 66030 f551ab947569
child 66032 fd8a65b026f1
clarified imports;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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
isabelle