*** empty log message ***

--- 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?)