src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 41938 645cca858c69
parent 41936 9792a882da9c
child 41940 a3b68a7a0e15
--- 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 =