src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 41938 645cca858c69
parent 41936 9792a882da9c
child 41940 a3b68a7a0e15
     1.1 --- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Fri Mar 11 15:21:13 2011 +0100
     1.2 +++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Sun Mar 13 13:53:54 2011 +0100
     1.3 @@ -1,8 +1,7 @@
     1.4  (*  Title:      HOL/Tools/Quickcheck/narrowing_generators.ML
     1.5      Author:     Lukas Bulwahn, TU Muenchen
     1.6  
     1.7 -Narrowing-based counterexample generation 
     1.8 -
     1.9 +Narrowing-based counterexample generation.
    1.10  *)
    1.11  
    1.12  signature NARROWING_GENERATORS =