diff -r fff984a77f58 -r c9daeff9516e src/HOL/ROOT
--- 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]