# HG changeset patch
# User bulwahn
# Date 1307607591 -7200
# Node ID 825f4f0dcf71e042a0d34715f0654ecb4615f739
# Parent  f9283eb3a4bf81e72edb25b774970b1b257021ba
correcting import theory of examples

diff -r f9283eb3a4bf -r 825f4f0dcf71 src/HOL/ex/Quickcheck_Narrowing_Examples.thy
--- a/src/HOL/ex/Quickcheck_Narrowing_Examples.thy	Thu Jun 09 09:07:13 2011 +0200
+++ b/src/HOL/ex/Quickcheck_Narrowing_Examples.thy	Thu Jun 09 10:19:51 2011 +0200
@@ -6,7 +6,7 @@
 header {* Examples for narrowing-based testing  *}
 
 theory Quickcheck_Narrowing_Examples
-imports "~~/src/HOL/Library/Quickcheck_Narrowing"
+imports Main
 begin
 
 subsection {* Minimalistic examples *}