author | bulwahn |
Thu, 09 Jun 2011 10:19:51 +0200 | |
changeset 44189 | 825f4f0dcf71 |
parent 44188 | f9283eb3a4bf |
child 44190 | 048c7eea1a71 |
1.1 --- a/src/HOL/ex/Quickcheck_Narrowing_Examples.thy Thu Jun 09 09:07:13 2011 +0200 1.2 +++ b/src/HOL/ex/Quickcheck_Narrowing_Examples.thy Thu Jun 09 10:19:51 2011 +0200 1.3 @@ -6,7 +6,7 @@ 1.4 header {* Examples for narrowing-based testing *} 1.5 1.6 theory Quickcheck_Narrowing_Examples 1.7 -imports "~~/src/HOL/Library/Quickcheck_Narrowing" 1.8 +imports Main 1.9 begin 1.10 1.11 subsection {* Minimalistic examples *}