src/HOL/ROOT
changeset 54447 019394de2b41
parent 54193 bc07627c5dcd
child 54453 b9d6e7acad38
     1.1 --- a/src/HOL/ROOT	Sat Nov 16 13:12:02 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Sat Nov 16 16:57:09 2013 +0100
     1.3 @@ -779,13 +779,10 @@
     1.4    theories [condition = ISABELLE_FULL_TEST]
     1.5      SMT_Tests
     1.6    files
     1.7 -    "Boogie_Dijkstra.b2i"
     1.8      "Boogie_Dijkstra.certs"
     1.9 -    "Boogie_Max.b2i"
    1.10      "Boogie_Max.certs"
    1.11      "SMT_Examples.certs"
    1.12      "SMT_Word_Examples.certs"
    1.13 -    "VCC_Max.b2i"
    1.14      "VCC_Max.certs"
    1.15  
    1.16  session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +