src/HOL/ROOT
changeset 54453 b9d6e7acad38
parent 54429 be1bc181bcde
parent 54447 019394de2b41
child 54473 8bee5ca99e63
--- a/src/HOL/ROOT	Fri Nov 15 22:02:05 2013 +0100
+++ b/src/HOL/ROOT	Sat Nov 16 18:34:11 2013 +0100
@@ -780,13 +780,10 @@
   theories [condition = ISABELLE_FULL_TEST]
     SMT_Tests
   files
-    "Boogie_Dijkstra.b2i"
     "Boogie_Dijkstra.certs"
-    "Boogie_Max.b2i"
     "Boogie_Max.certs"
     "SMT_Examples.certs"
     "SMT_Word_Examples.certs"
-    "VCC_Max.b2i"
     "VCC_Max.certs"
 
 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +