NEWS

--- a/NEWS	Tue Aug 13 20:19:15 2019 +0200
+++ b/NEWS	Tue Aug 13 20:54:08 2019 +0200
@@ -34,6 +34,13 @@
 associates to the left now as is customary.
 
 
+*** ML ***
+
+* Theory construction may be forked internally, the operation
+Theory.join_theory recovers a single result theory. See also the example
+in theory "HOL-ex.Join_Theory".
+
+
 
 New in Isabelle2019 (June 2019)
 -------------------------------