
diff -r 88fe93ae61cf -r 154f25a162e3 src/HOL/Unix/Unix.thy
--- a/src/HOL/Unix/Unix.thy	Mon Sep 03 11:30:29 2012 +0200
+++ b/src/HOL/Unix/Unix.thy	Wed Aug 29 10:27:56 2012 +0900
@@ -7,7 +7,7 @@
 theory Unix
 imports
   Nested_Environment
-  "~~/src/HOL/Library/List_Prefix"
+  "~~/src/HOL/Library/Sublist"
 begin
 
 text {*




