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.
*** empty log message ***
authornipkow
Tue, 05 Apr 2005 08:03:52 +0200
changeset 15654 d53e5370cfbf
parent 15653 3549ff7158f3
child 15655 157f3988f775
*** empty log message ***
TODO file | annotate | diff | comparison | revisions 
--- a/TODO	Mon Apr 04 18:43:18 2005 +0200
+++ b/TODO	Tue Apr 05 08:03:52 2005 +0200
@@ -23,4 +23,6 @@
 
 - rules -> iprover (Stefan)
 
+- ball, bex and setsum congruence rules (Tobias & Stefan)
+
 - remove this file (Tobias)
isabelle