src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Sep 01 20:59:51 2016 +0200
+++ b/src/HOL/ROOT	Thu Sep 01 21:28:46 2016 +0200
@@ -31,8 +31,12 @@
   *}
   theories
     Library
+    Nonpos_Ints
+    Periodic_Fun
+    Polynomial_Factorial
+    Predicate_Compile_Quickcheck
+    Prefix_Order
     Rewrite
-    Nonpos_Ints
     (*conflicting type class instantiations*)
     List_lexord
     Sublist_Order