# HG changeset patch
# User bulwahn
# Date 1321620127 -3600
# Node ID 6ea2bba2694a0b7e93671fff842aa3c960b3885f
# Parent  3a865fc42bbff8424cb037ff7611099cbeaebe70
improving header

diff -r 3a865fc42bbf -r 6ea2bba2694a src/HOL/Quotient_Examples/Lift_Set.thy
--- 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
 *)