# HG changeset patch
# User wenzelm
# Date 1300020834 -3600
# Node ID 645cca858c6981f2c9678b1084ad4de29ade30c9
# Parent  a369f8ba5425f47a6058cf254b52fa9f4cdc84df
tuned headers;

diff -r a369f8ba5425 -r 645cca858c69 src/HOL/Tools/Quickcheck/narrowing_generators.ML
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Fri Mar 11 15:21:13 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Sun Mar 13 13:53:54 2011 +0100
@@ -1,8 +1,7 @@
 (*  Title:      HOL/Tools/Quickcheck/narrowing_generators.ML
     Author:     Lukas Bulwahn, TU Muenchen
 
-Narrowing-based counterexample generation 
-
+Narrowing-based counterexample generation.
 *)
 
 signature NARROWING_GENERATORS =
diff -r a369f8ba5425 -r 645cca858c69 src/HOL/Tools/Quickcheck/quickcheck_common.ML
--- a/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Fri Mar 11 15:21:13 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Sun Mar 13 13:53:54 2011 +0100
@@ -1,8 +1,7 @@
 (*  Title:      HOL/Tools/Quickcheck/quickcheck_common.ML
     Author:     Florian Haftmann, Lukas Bulwahn, TU Muenchen
 
-Common functions for quickcheck's generators
-
+Common functions for quickcheck's generators.
 *)
 
 signature QUICKCHECK_COMMON =