src/HOL/Library/Quickcheck_Narrowing.thy
changeset 41962 27a61a3266d8
parent 41961 fdd37cfcd4a3
child 41964 13904699c859
--- a/src/HOL/Library/Quickcheck_Narrowing.thy	Mon Mar 14 12:34:08 2011 +0100
+++ b/src/HOL/Library/Quickcheck_Narrowing.thy	Mon Mar 14 12:34:09 2011 +0100
@@ -4,7 +4,8 @@
 
 theory Quickcheck_Narrowing
 imports Main "~~/src/HOL/Library/Code_Char"
-uses ("~~/src/HOL/Tools/Quickcheck/narrowing_generators.ML")
+uses
+  ("~~/src/HOL/Tools/Quickcheck/narrowing_generators.ML")
 begin
 
 subsection {* Counterexample generator *}