src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Jul 27 22:08:46 2015 +0200
+++ b/src/HOL/ROOT	Mon Jul 27 22:44:02 2015 +0200
@@ -188,6 +188,7 @@
     Gauss
     Number_Theory
     Euclidean_Algorithm
+    Factorial_Ring
   document_files
     "root.tex"