--- a/src/HOL/ROOT Tue Jan 01 21:55:46 2013 +0100
+++ b/src/HOL/ROOT Wed Jan 02 09:13:50 2013 +0100
@@ -677,6 +677,7 @@
files
"SMT_Examples.certs"
"SMT_Tests.certs"
+ "SMT_Word_Examples.certs"
session "HOL-Boogie" in "Boogie" = "HOL-Word" +
options [document = false]