--- a/NEWS Sun Apr 12 16:59:49 2020 +0200
+++ b/NEWS Mon Apr 13 22:08:14 2020 +0200
@@ -234,7 +234,7 @@
"bar(2)", "bar(3)" for multi-facts. Theorem dependencies are now
exported as well: this spans an overall dependency graph of internal
inferences; it might help to reconstruct the formal structure of theory
-libraries. See also the module Export_Theory in Isabelle/Scala.
+libraries. See also the module isabelle.Export_Theory in Isabelle/Scala.
* Theory export of structured specifications, based on internal
declarations of Spec_Rules by packages like 'definition', 'inductive',