
diff -r 5f216b70215f -r dc39832e9280 src/HOL/UNITY/Comp/Counterc.thy
--- a/src/HOL/UNITY/Comp/Counterc.thy	Tue Jan 03 14:07:17 2006 +0100
+++ b/src/HOL/UNITY/Comp/Counterc.thy	Tue Jan 03 15:43:54 2006 +0100
@@ -13,7 +13,7 @@
 
 header{*A Family of Similar Counters: Version with Compatibility*}
 
-theory Counterc imports  UNITY_Main begin
+theory Counterc imports "../UNITY_Main" begin
 
 typedecl state
 arities state :: type




