# HG changeset patch
# User wenzelm
# Date 1574346144 -3600
# Node ID 2e46c0b4042dc988247e3a3146574043bc740d45
# Parent  f7a9889068ff931846cd295dfcb07dc61f0e642b
tuned;

diff -r f7a9889068ff -r 2e46c0b4042d NEWS
--- a/NEWS	Thu Nov 21 13:25:27 2019 +0100
+++ b/NEWS	Thu Nov 21 15:22:24 2019 +0100
@@ -83,8 +83,9 @@
 * Theory Complete_Lattices:
 renamed Inf_Sup -> Inf_eq_Sup and Sup_Inf -> Sup_eq_Inf
 
-* Session HOL-Analysis: Method "metric" implements a decision procedure
-for simple linear statements in metric spaces.
+* Session HOL-Analysis: proof method "metric" implements a decision
+procedure for simple linear statements in metric spaces.
+
 
 *** ML ***