
diff -r 35f30e07fe0d -r 64cd30d6b0b8 src/HOL/Unix/Unix.thy
--- a/src/HOL/Unix/Unix.thy	Wed Dec 29 13:51:17 2010 +0100
+++ b/src/HOL/Unix/Unix.thy	Wed Dec 29 17:34:41 2010 +0100
@@ -5,7 +5,10 @@
 header {* Unix file-systems \label{sec:unix-file-system} *}
 
 theory Unix
-imports Main Nested_Environment List_Prefix
+imports
+  Main
+  "~~/src/HOL/Library/Nested_Environment"
+  "~~/src/HOL/Library/List_Prefix"
 begin
 
 text {*




