--- a/src/HOL/Library/Extended_Nat.thy Thu Jan 31 11:31:27 2013 +0100
+++ b/src/HOL/Library/Extended_Nat.thy Thu Jan 31 11:31:30 2013 +0100
@@ -6,7 +6,7 @@
header {* Extended natural numbers (i.e. with infinity) *}
theory Extended_Nat
-imports Main
+imports "~~/src/HOL/Main"
begin
class infinity =