# HG changeset patch
# User wenzelm
# Date 1428518516 -7200
# Node ID a51af4f12d4758712479120e290646c411c6f3fa
# Parent  8ed8cc21c8a10d1f82db145ff6a527d3f83529c3
proper test for session HOL-Library;

diff -r 8ed8cc21c8a1 -r a51af4f12d47 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