src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Apr 21 15:26:24 2017 +0200
+++ b/src/HOL/ROOT	Fri Apr 21 16:12:11 2017 +0200
@@ -449,8 +449,7 @@
   *}
   options [print_mode = "no_brackets",
     parallel_proofs = 0, quick_and_dirty = false]
-  theories [document = false]
-    "~~/src/HOL/Library/Code_Target_Int"
+  sessions "HOL-Library"
   theories
     Eta
     StrongNorm