src/HOL/ROOT

--- a/src/HOL/ROOT	Fri May 09 08:13:28 2014 +0200
+++ b/src/HOL/ROOT	Fri May 09 08:13:36 2014 +0200
@@ -518,6 +518,7 @@
     Serbian
     "~~/src/HOL/Library/FinFun_Syntax"
     "~~/src/HOL/Library/Refute"
+    "~~/src/HOL/Library/Transitive_Closure_Table"
     Cartouche_Examples
   theories
     Iff_Oracle
@@ -560,6 +561,7 @@
     Sqrt_Script
     Transfer_Ex
     Transfer_Int_Nat
+    Transitive_Closure_Table_Ex
     HarmonicSeries
     Refute_Examples
     Execute_Choice