src/HOL/ROOT

--- a/src/HOL/ROOT	Sat Dec 17 15:22:13 2016 +0100
+++ b/src/HOL/ROOT	Sat Dec 17 15:22:13 2016 +0100
@@ -31,10 +31,11 @@
   *}
   theories
     Library
-    Polynomial_Factorial
     (*conflicting type class instantiations and dependent applications*)
+    Field_as_Ring
     Finite_Lattice
     List_lexord
+    Polynomial_Factorial
     Prefix_Order
     Product_Lexorder
     Product_Order