Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 21 Nov 2019 15:22:24 +0100
changeset 71147 2e46c0b4042d
parent 71146 f7a9889068ff
child 71148 9d2716dc79a6
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- 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 ***
isabelle