# HG changeset patch
# User wenzelm
# Date 1343160012 -7200
# Node ID 142ab4ff8fa876509223180f678920334ea481a3
# Parent  03530cf284ca6407011139dc22f30b4fd60cc2b1
more files;

diff -r 03530cf284ca -r 142ab4ff8fa8 src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Jul 24 21:54:49 2012 +0200
+++ b/src/HOL/ROOT	Tue Jul 24 22:00:12 2012 +0200
@@ -621,7 +621,6 @@
 session "HOL-Boogie"! in "Boogie" = "HOL-Word" +
   options [document = false]
   theories Boogie
-  (* FIXME files!?! *)
 
 session Examples in "Boogie/Examples" = "HOL-Boogie" +
   options [document = false]
@@ -631,8 +630,11 @@
     Boogie_Dijkstra
     VCC_Max
   files
+    "Boogie_Dijkstra.b2i"
     "Boogie_Dijkstra.certs"
+    "Boogie_Max.b2i"
     "Boogie_Max.certs"
+    "VCC_Max.b2i"
     "VCC_Max.certs"
 
 session "HOL-SPARK"! in "SPARK" = "HOL-Word" +