src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Aug 21 14:41:08 2014 +0200
+++ b/src/HOL/ROOT	Fri Aug 22 08:43:14 2014 +0200
@@ -188,6 +188,7 @@
     Pocklington
     Gauss
     Number_Theory
+    Euclidean_Algorithm
   document_files
     "root.tex"