todo
author paulson
Thu Feb 20 11:09:48 2003 +0100 (2003-02-20)
changeset 13824 e4d8dea6dfc2
parent 13761 52d1b293da7f
permissions -rw-r--r--
minor updates to pre-2002 release
     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