diff -r 62f0344b219c -r 9c3b3eaecaff Quot/quotient_def.ML
--- a/Quot/quotient_def.ML	Wed Jan 27 08:20:31 2010 +0100
+++ b/Quot/quotient_def.ML	Wed Jan 27 08:41:42 2010 +0100
@@ -1,3 +1,9 @@
+(*  Title:      quotient_def.thy
+    Author:     Cezary Kaliszyk and Christian Urban
+
+    Definitions for constants on quotient types.
+
+*)
 
 signature QUOTIENT_DEF =
 sig