src/HOL/Lifting.thy

--- a/src/HOL/Lifting.thy	Thu Feb 14 13:16:47 2013 +0100
+++ b/src/HOL/Lifting.thy	Thu Feb 14 12:24:42 2013 +0100
@@ -6,7 +6,7 @@
 header {* Lifting package *}
 
 theory Lifting
-imports Plain Equiv_Relations Transfer
+imports Equiv_Relations Transfer
 keywords
   "print_quotmaps" "print_quotients" :: diag and
   "lift_definition" :: thy_goal and