--- a/src/HOL/Auth/Smartcard/Smartcard.thy Wed Dec 29 13:51:17 2010 +0100
+++ b/src/HOL/Auth/Smartcard/Smartcard.thy Wed Dec 29 17:34:41 2010 +0100
@@ -4,7 +4,7 @@
header{*Theory of smartcards*}
theory Smartcard
-imports EventSC All_Symmetric
+imports EventSC "../All_Symmetric"
begin
text{*