--- a/src/HOL/ROOT Sat May 02 13:58:06 2015 +0200
+++ b/src/HOL/ROOT Sat May 02 13:58:06 2015 +0200
@@ -962,6 +962,7 @@
Quotient_Rat
Lift_DList
Int_Pow
+ Lifting_Code_Dt_Test
session "HOL-Predicate_Compile_Examples" in Predicate_Compile_Examples = HOL +
options [document = false]