TODO

--- a/TODO	Tue Apr 12 11:08:25 2005 +0200
+++ b/TODO	Tue Apr 12 13:38:08 2005 +0200
@@ -27,4 +27,8 @@
 
 - ball, bex and setsum congruence rules (Tobias & Stefan)
 
+- 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?)
+
 - remove this file (Tobias)