1.1 --- a/src/HOL/ROOT	Tue Jul 24 21:54:49 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Jul 24 22:00:12 2012 +0200
     1.3 @@ -621,7 +621,6 @@
     1.4  session "HOL-Boogie"! in "Boogie" = "HOL-Word" +
     1.5    options [document = false]
     1.6    theories Boogie
     1.7 -  (* FIXME files!?! *)
     1.8  
     1.9  session Examples in "Boogie/Examples" = "HOL-Boogie" +
    1.10    options [document = false]
    1.11 @@ -631,8 +630,11 @@
    1.12      Boogie_Dijkstra
    1.13      VCC_Max
    1.14    files
    1.15 +    "Boogie_Dijkstra.b2i"
    1.16      "Boogie_Dijkstra.certs"
    1.17 +    "Boogie_Max.b2i"
    1.18      "Boogie_Max.certs"
    1.19 +    "VCC_Max.b2i"
    1.20      "VCC_Max.certs"
    1.21  
    1.22  session "HOL-SPARK"! in "SPARK" = "HOL-Word" +