src/HOL/ROOT
changeset 58367 8af1e68d7e1a
parent 58351 b3f7c69e9fcd
child 58371 7f30ec82fe40
     1.1 --- a/src/HOL/ROOT	Thu Sep 18 00:02:45 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Sep 18 00:03:46 2014 +0200
     1.3 @@ -800,11 +800,11 @@
     1.4    theories [condition = ISABELLE_FULL_TEST]
     1.5      SMT_Tests
     1.6    files
     1.7 -    "Boogie_Dijkstra.certs2"
     1.8 -    "Boogie_Max.certs2"
     1.9 -    "SMT_Examples.certs2"
    1.10 -    "SMT_Word_Examples.certs2"
    1.11 -    "VCC_Max.certs2"
    1.12 +    "Boogie_Dijkstra.certs"
    1.13 +    "Boogie_Max.certs"
    1.14 +    "SMT_Examples.certs"
    1.15 +    "SMT_Word_Examples.certs"
    1.16 +    "VCC_Max.certs"
    1.17  
    1.18  session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
    1.19    options [document = false]