src/HOL/ROOT
changeset 57064 8a1be5efe628
parent 56994 8d5e5ec1cac3
child 57434 6ea8b8592787
     1.1 --- a/src/HOL/ROOT	Thu May 22 15:31:36 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu May 22 15:49:36 2014 +0200
     1.3 @@ -582,6 +582,7 @@
     1.4      ML
     1.5      SAT_Examples
     1.6      Sudoku
     1.7 +    Nominal2_Dummy
     1.8    theories [skip_proofs = false]
     1.9      Meson_Test
    1.10    theories [condition = SVC_HOME]