--- a/Attic/Quot/quotient_def.ML	Sun Mar 14 11:36:15 2010 +0100
+++ b/Attic/Quot/quotient_def.ML	Mon Mar 15 06:11:35 2010 +0100
@@ -1,8 +1,7 @@
-(*  Title:      quotient_def.thy
+(*  Title:      HOL/Tools/Quotient/quotient_def.thy
     Author:     Cezary Kaliszyk and Christian Urban
 
-    Definitions for constants on quotient types.
-
+Definitions for constants on quotient types.
 *)
 
 signature QUOTIENT_DEF =