Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-10 03:27:33 -0700 (Sat, 10 May 2003)
Revision: 4579
Log message:

      Refreshed a few .prla files
      

Changes	Path
+5513 -5816	metaprl/theories/czf/czf_itt_eq.prla
+4811 -4626	metaprl/theories/czf/czf_itt_nat.prla
+965 -1023	metaprl/theories/czf/czf_itt_sep.prla
+6308 -5386	metaprl/theories/czf/czf_itt_union.prla