changeset 54555 | e8c5e95d338b |
parent 54498 | f7fef6b00bfe |
child 54598 | 33a68b7f2736 |
--- a/src/HOL/List.thy Thu Nov 21 21:33:34 2013 +0100 +++ b/src/HOL/List.thy Thu Nov 21 21:33:34 2013 +0100 @@ -5,7 +5,7 @@ header {* The datatype of finite lists *} theory List -imports Presburger Code_Numeral Quotient ATP Lifting_Set Lifting_Option Lifting_Product +imports Presburger Code_Numeral Quotient Lifting_Set Lifting_Option Lifting_Product begin datatype 'a list =