diff -r 3f8b97ceedb2 -r cbedaddc9351 src/HOL/ROOT
--- a/src/HOL/ROOT	Thu Dec 31 12:37:16 2015 +0100
+++ b/src/HOL/ROOT	Thu Dec 31 12:43:09 2015 +0100
@@ -1100,7 +1100,7 @@
     finite and infinite sequences.
   *}
   options [document = false]
-  theories "meta_theory/Abstraction"
+  theories "Abstraction"
 
 session "IOA-ABP" in "HOLCF/IOA/ABP" = IOA +
   description {*