--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/todo	Wed Dec 18 12:54:57 2002 +0100
@@ -0,0 +1,6 @@
+finish converting ZF to new-style theories
+add the SET protocol proofs to HOL/Auth
+add Quadratic Reciprocity
+complete the new formalization of Group theory
+
+add Presburger arithmetic (if possible until March)