src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Sep 17 13:40:44 2013 +0200
+++ b/src/HOL/ROOT	Tue Sep 17 14:10:33 2013 +0200
@@ -914,6 +914,7 @@
     Lift_Fun
     Quotient_Rat
     Lift_DList
+    Int_Pow
 
 session "HOL-Predicate_Compile_Examples" in Predicate_Compile_Examples = HOL +
   options [document = false]