src/HOL/IMP/Abs_Int_ITP/Abs_Int0_ITP.thy

--- a/src/HOL/IMP/Abs_Int_ITP/Abs_Int0_ITP.thy	Thu Aug 09 22:31:04 2012 +0200
+++ b/src/HOL/IMP/Abs_Int_ITP/Abs_Int0_ITP.thy	Fri Aug 10 17:17:05 2012 +0200
@@ -5,7 +5,7 @@
 theory Abs_Int0_ITP
 imports "~~/src/HOL/ex/Interpretation_with_Defs"
         "~~/src/HOL/Library/While_Combinator"
-        "../Collecting"
+        "Collecting_ITP"
 begin
 
 subsection "Orderings"