src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Sep 03 11:30:29 2012 +0200
+++ b/src/HOL/ROOT	Wed Aug 29 10:27:56 2012 +0900
@@ -38,7 +38,7 @@
   description {* Classical Higher-order Logic -- batteries included *}
   theories
     Library
-    List_Prefix
+    Sublist
     List_lexord
     Sublist_Order
     Product_Lattice