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.
more preview
authorkleing
Thu, 10 Feb 2005 08:21:40 +0100
changeset 15515 9bc5aff80976
parent 15514 a8b4c9a87e85
child 15516 a4bbed7487ea
more preview
Admin/page/main-content/index.content file | annotate | diff | comparison | revisions 
--- a/Admin/page/main-content/index.content	Thu Feb 10 07:47:06 2005 +0100
+++ b/Admin/page/main-content/index.content	Thu Feb 10 08:21:40 2005 +0100
@@ -42,6 +42,7 @@
 <li>New syntax to allow &gt; and &gt;=</li>
 <li>New automatic transitivity reasoner</li>
 <li>New command for ad-hoc theory viewing and printing</li>
+<li>Much extended and improved theory of finite sets</li>
 </ul>
 
 <h2>Contributing</h2>
isabelle