Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-24 17:48:00 -0700 (Thu, 24 Jul 2003)
Revision: 4774
Log message:

      Simplified some proofs.
      

Changes  Path
+4873 -5741 metaprl/theories/czf/czf_itt_axioms.prla