src/Pure/Thy/export.scala

--- a/src/Pure/Thy/export.scala	Sun May 13 16:51:50 2018 +0200
+++ b/src/Pure/Thy/export.scala	Sun May 13 20:04:59 2018 +0200
@@ -86,6 +86,9 @@
       val (compressed, bytes) = body.join
       if (compressed) bytes.uncompress(cache = cache) else bytes
     }
+
+    def uncompressed_yxml(cache: XZ.Cache = XZ.cache()): XML.Body =
+      YXML.parse_body(UTF8.decode_permissive(uncompressed(cache = cache)))
   }
 
   def make_regex(pattern: String): Regex =