# HG changeset patch
# User nipkow
# Date 1113577415 -7200
# Node ID 1c1d40ff875a3d7abb65cb04c79aa70b69d62690
# Parent  c7e522520910b746af9bd24972214802341b8db0
*** empty log message ***

diff -r c7e522520910 -r 1c1d40ff875a TODO
--- 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?)