src/HOL/ROOT
changeset 56818 689a3eeb6f9e
parent 56815 848d507584db
child 56922 d411a81b8356
     1.1 --- a/src/HOL/ROOT	Thu May 01 22:57:36 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu May 01 22:57:38 2014 +0200
     1.3 @@ -775,12 +775,12 @@
     1.4    theories [condition = ISABELLE_FULL_TEST]
     1.5      SMT_Tests
     1.6    files
     1.7 -    "Boogie_Dijkstra.certs"
     1.8 -    "Boogie_Max.certs"
     1.9 +    "Boogie_Dijkstra.certs2"
    1.10 +    "Boogie_Max.certs2"
    1.11      "SMT_Examples.certs"
    1.12      "SMT_Examples.certs2"
    1.13      "SMT_Word_Examples.certs2"
    1.14 -    "VCC_Max.certs"
    1.15 +    "VCC_Max.certs2"
    1.16  
    1.17  session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
    1.18    options [document = false]