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.
more robust;
authorwenzelm
Thu, 07 Dec 2017 20:55:03 +0100
changeset 67159 deccbba7cfe3
parent 67158 a14b83897c90
child 67160 f37bf261bdf6
more robust;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Thu Dec 07 20:05:08 2017 +0100
+++ b/src/HOL/ROOT	Thu Dec 07 20:55:03 2017 +0100
@@ -576,7 +576,6 @@
     Reflection_Examples
     Refute_Examples
     Rewrite_Examples
-    SAT_Examples
     SOS
     SOS_Cert
     Seq
@@ -601,6 +600,7 @@
     Word_Type
     veriT_Preprocessing
   theories [skip_proofs = false]
+    SAT_Examples
     Meson_Test
 
 session "HOL-Isar_Examples" in Isar_Examples = "HOL-Computational_Algebra" +
isabelle