# HG changeset patch
# User nipkow
# Date 1040212497 -3600
# Node ID aa7360806a19237610831cca53d444f67b3f5a3f
# Parent  ee898d32de21eed63d3ef07bb9da7918cf9c1125
*** empty log message ***

diff -r ee898d32de21 -r aa7360806a19 todo
--- /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)