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
nipkow@13759
     1
finish converting ZF to new-style theories
nipkow@13759
     2
add the SET protocol proofs to HOL/Auth
nipkow@13759
     3
add Quadratic Reciprocity
nipkow@13759
     4
complete the new formalization of Group theory
nipkow@13759
     5
nipkow@13759
     6
add Presburger arithmetic (if possible until March)
nipkow@13761
     7
stop eta-contraction for binders