Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-18 21:20:15 -0800 (Sun, 18 Jan 2004)
Revision: 5263
Log message:

      Use Yegor's new taa/twa suffixes.
      

Changes	Path
+1 -1	metaprl/theories/czf/czf_itt_and.prla
+8 -8	metaprl/theories/czf/czf_itt_axioms.prla
+1 -1	metaprl/theories/czf/czf_itt_implies.prla
+3 -3	metaprl/theories/czf/czf_itt_infinity.prla
+3 -3	metaprl/theories/czf/czf_itt_isect.prla
+2 -2	metaprl/theories/czf/czf_itt_or.prla
+6 -6	metaprl/theories/czf/czf_itt_power.prla
+16 -16	metaprl/theories/czf/czf_itt_set_ind.prla
+1 -1	metaprl/theories/czf/czf_itt_singleton.prla
+3 -3	metaprl/theories/itt/ctt_markov.prla
+2 -2	metaprl/theories/itt/itt_dprod_imp.prla
+1 -1	metaprl/theories/itt/itt_ext_equal.prla
+1 -1	metaprl/theories/itt/itt_field.prla
+14 -14	metaprl/theories/itt/itt_int_base.prla
+4 -4	metaprl/theories/itt/itt_int_ext.prla
+9 -9	metaprl/theories/itt/itt_record.prla
+2 -2	metaprl/theories/itt/itt_record0.prla
+1 -1	metaprl/theories/itt/itt_record_label0.prla
+3 -3	metaprl/theories/itt/itt_struct2.prla
+1 -1	metaprl/theories/itt/itt_subset2.prla
+4 -4	metaprl/theories/itt/itt_subtype.prla