src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Jul 04 15:46:13 2014 +0200
+++ b/src/HOL/ROOT	Fri Jul 04 15:50:28 2014 +0200
@@ -521,6 +521,7 @@
     "~~/src/HOL/Library/Transitive_Closure_Table"
     Cartouche_Examples
   theories
+    Adhoc_Overloading_Examples
     Iff_Oracle
     Coercion_Examples
     Higher_Order_Logic