| changeset 15738 | 1c1d40ff875a |
| parent 15701 | 63f6614f95dc |
| child 15838 | 2aee4e5b7925 |
--- a/TODO Fri Apr 15 14:14:24 2005 +0200 +++ b/TODO Fri Apr 15 17:03:35 2005 +0200 @@ -27,6 +27,8 @@ - ball, bex and setsum congruence rules (Tobias & Stefan) +- use IntInf.int (Steven) + - html generation: somtimes lemma names and whole lemmas are missing. See http://afp.sourceforge.net/browser_info/current/HOL/HOL-Complex/Integration/SetsumThms.html (Markus?)