--- a/src/HOL/Tools/Predicate_Compile/predicate_compile.ML Sun Mar 13 14:51:38 2011 +0100
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile.ML Sun Mar 13 15:10:00 2011 +0100
@@ -1,7 +1,8 @@
(* Title: HOL/Tools/Predicate_Compile/predicate_compile.ML
Author: Lukas Bulwahn, TU Muenchen
-Entry point for the predicate compiler; definition of Toplevel commands code_pred and values
+Entry point for the predicate compiler; definition of Toplevel
+commands code_pred and values.
*)
signature PREDICATE_COMPILE =