todo
author paulson
Mon May 05 18:34:16 2003 +0200 (2003-05-05)
changeset 13960 70f9158b6695
parent 13761 52d1b293da7f
permissions -rw-r--r--
Complex, etc
     1 finish converting ZF to new-style theories
     2 add the SET protocol proofs to HOL/Auth
     3 add Quadratic Reciprocity
     4 complete the new formalization of Group theory
     5 
     6 add Presburger arithmetic (if possible until March)
     7 stop eta-contraction for binders