src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Jan 26 16:25:32 2017 +0100
+++ b/src/HOL/ROOT	Fri Jan 27 22:27:03 2017 +0100
@@ -536,6 +536,7 @@
     "~~/src/HOL/Library/Refute"
     "~~/src/HOL/Library/Transitive_Closure_Table"
     Cartouche_Examples
+    Computations
   theories
     Commands
     Adhoc_Overloading_Examples