# HG changeset patch
# User nipkow
# Date 1113305888 -7200
# Node ID 63f6614f95dcc20ed3eb99c18232359b3963de21
# Parent  970e0293dfb3068325e4f690fac3d082b5310b70
*** empty log message ***

diff -r 970e0293dfb3 -r 63f6614f95dc 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)