src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Dec 04 20:45:11 2014 +0100
+++ b/src/HOL/ROOT	Thu Dec 04 20:56:38 2014 +0100
@@ -539,6 +539,7 @@
     "~~/src/HOL/Library/Transitive_Closure_Table"
     Cartouche_Examples
   theories
+    Commands
     Adhoc_Overloading_Examples
     Iff_Oracle
     Coercion_Examples