# HG changeset patch
# User immler
# Date 1572221490 14400
# Node ID aa41be39aa99228a76fb0aea5767e9dd1da448e2
# Parent  8601984286643109638c4c424e75ab9b8a836585
NEWS

diff -r 860198428664 -r aa41be39aa99 NEWS
--- a/NEWS	Sun Oct 27 20:07:59 2019 -0400
+++ b/NEWS	Sun Oct 27 20:11:30 2019 -0400
@@ -83,6 +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.
+
 *** ML ***
 
 * Theory construction may be forked internally, the operation