src/HOL/ROOT
changeset 57994 68b283f9f826
parent 57644 6ca1646b6f14
child 57998 8b7508f848ef
     1.1 --- a/src/HOL/ROOT	Tue Aug 19 09:34:57 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Aug 19 09:36:37 2014 +0200
     1.3 @@ -782,7 +782,6 @@
     1.4    files
     1.5      "Boogie_Dijkstra.certs2"
     1.6      "Boogie_Max.certs2"
     1.7 -    "SMT_Examples.certs"
     1.8      "SMT_Examples.certs2"
     1.9      "SMT_Word_Examples.certs2"
    1.10      "VCC_Max.certs2"