Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-27 23:50:58 -0700 (Sun, 27 Jul 2003)
Revision: 4779
Log message:

      Simplified some of the proofs.
      

Changes	Path
+3077 -3533	metaprl/theories/czf/czf_itt_dall.prla
+3393 -3311	metaprl/theories/czf/czf_itt_dexists.prla
+728 -1076	metaprl/theories/czf/czf_itt_eq.prla