src/HOL/ROOT
changeset 60237 d47387d4a3c6
parent 60119 54bea620e54f
child 60332 7676bcaa1f95
     1.1 --- a/src/HOL/ROOT	Sat May 02 13:58:06 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Sat May 02 13:58:06 2015 +0200
     1.3 @@ -962,6 +962,7 @@
     1.4      Quotient_Rat
     1.5      Lift_DList
     1.6      Int_Pow
     1.7 +    Lifting_Code_Dt_Test
     1.8  
     1.9  session "HOL-Predicate_Compile_Examples" in Predicate_Compile_Examples = HOL +
    1.10    options [document = false]