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.
fix typos
authorhuffman
Mon, 12 Sep 2011 10:28:45 -0700
changeset 44904 2ba4174f1e7d
parent 44903 1d5079a5a0a2
child 44905 3e8cc9046731
fix typos
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Sep 12 09:37:49 2011 -0700
+++ b/NEWS	Mon Sep 12 10:28:45 2011 -0700
@@ -229,7 +229,7 @@
     reals. INCOMPATIBILITY.
 
 * Theory Library/Extended_Reals replaces now the positive extended reals
-  found in probabilty thoery. This file is extended by
+  found in probability theory. This file is extended by
   Multivariate_Analysis/Extended_Real_Limits.
 
 * Old 'recdef' package has been moved to theory Library/Old_Recdef,
isabelle