src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Apr 08 20:14:18 2015 +0200
+++ b/src/HOL/ROOT	Wed Apr 08 20:41:56 2015 +0200
@@ -31,6 +31,7 @@
   *}
   theories
     Library
+    Rewrite
     (*conflicting type class instantiations*)
     List_lexord
     Sublist_Order