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.
NEWS
authorimmler
Sun, 27 Oct 2019 20:11:30 -0400
changeset 70957 aa41be39aa99
parent 70956 860198428664
child 70958 e8fc52f3f175
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle