--- a/src/HOL/Unix/Unix.thy Wed Aug 17 10:03:58 2011 +0200
+++ b/src/HOL/Unix/Unix.thy Wed Aug 17 13:14:20 2011 +0200
@@ -6,8 +6,7 @@
theory Unix
imports
- Main
- "~~/src/HOL/Library/Nested_Environment"
+ Nested_Environment
"~~/src/HOL/Library/List_Prefix"
begin