src/HOL/Lifting_Option.thy
changeset 55089 181751ad852f
parent 53026 e1a548c11845
child 55090 9475b16e520b
     1.1 --- a/src/HOL/Lifting_Option.thy	Mon Jan 20 23:07:23 2014 +0100
     1.2 +++ b/src/HOL/Lifting_Option.thy	Mon Jan 20 23:34:26 2014 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* Setup for Lifting/Transfer for the option type *}
     1.5  
     1.6  theory Lifting_Option
     1.7 -imports Lifting
     1.8 +imports Lifting Option
     1.9  begin
    1.10  
    1.11  subsection {* Relator and predicator properties *}