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