Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ROOT
changeset 57064 8a1be5efe628
parent 56994 8d5e5ec1cac3
child 57434 6ea8b8592787 
--- a/src/HOL/ROOT	Thu May 22 15:31:36 2014 +0200
+++ b/src/HOL/ROOT	Thu May 22 15:49:36 2014 +0200
@@ -582,6 +582,7 @@
     ML
     SAT_Examples
     Sudoku
+    Nominal2_Dummy
   theories [skip_proofs = false]
     Meson_Test
   theories [condition = SVC_HOME]
isabelle