diff -r 62f0344b219c -r 9c3b3eaecaff Quot/quotient_info.ML
--- a/Quot/quotient_info.ML	Wed Jan 27 08:20:31 2010 +0100
+++ b/Quot/quotient_info.ML	Wed Jan 27 08:41:42 2010 +0100
@@ -1,3 +1,11 @@
+(*  Title:      quotient_info.thy
+    Author:     Cezary Kaliszyk and Christian Urban
+
+    Data slots for the quotient package.
+
+*)
+
+
 signature QUOTIENT_INFO =
 sig
   exception NotFound