--- a/src/HOL/Quotient_Examples/Lift_Set.thy Fri Nov 18 11:47:12 2011 +0100
+++ b/src/HOL/Quotient_Examples/Lift_Set.thy Fri Nov 18 13:42:07 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/Quotient.thy
+(* Title: HOL/Quotient_Examples/Lift_Set.thy
Author: Lukas Bulwahn and Ondrey Kuncar
*)