--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_set.ML	Tue Oct 27 23:12:10 2009 +0100
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_set.ML	Wed Oct 28 00:07:51 2009 +0100
@@ -1,6 +1,7 @@
-(* Author: Lukas Bulwahn, TU Muenchen
+(*  Title:      HOL/Tools/Predicate_Compile/predicate_compile_set.ML
+    Author:     Lukas Bulwahn, TU Muenchen
 
-Preprocessing sets to predicates
+Preprocessing sets to predicates.
 *)
 
 signature PREDICATE_COMPILE_SET =