diff -r e6997512ef6c -r e1d01b351724 src/Tools/Haskell/Term_XML/Decode.hs
--- a/src/Tools/Haskell/Term_XML/Decode.hs	Sat Nov 10 17:07:17 2018 +0100
+++ b/src/Tools/Haskell/Term_XML/Decode.hs	Sat Nov 10 17:12:09 2018 +0100
@@ -5,6 +5,8 @@
     LICENSE:    BSD 3-clause (Isabelle)
 
 XML data representation of lambda terms.
+
+See also "$ISABELLE_HOME/src/Pure/term_xml.ML".
 -}
 
 module Isabelle.Term_XML.Decode (sort, typ, term)