src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Jul 14 12:21:12 2016 +0200
+++ b/src/HOL/ROOT	Wed Jul 13 15:46:52 2016 +0200
@@ -39,7 +39,6 @@
     Product_Lexorder
     Product_Order
     Finite_Lattice
-    Polynomial_GCD_euclidean
     (*data refinements and dependent applications*)
     AList_Mapping
     Code_Binary_Nat