Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-29 10:28:49 -0700 (Tue, 29 Apr 2003)
Revision: 4514
Log message:

      Refreshed a few .prla files.
      

Changes	Path
+1519 -1611	metaprl/theories/czf/czf_itt_cyclic_subgroup.prla
+7575 -6962	metaprl/theories/czf/czf_itt_hom.prla
+6155 -6243	metaprl/theories/czf/czf_itt_kleingroup.prla
+2355 -2187	metaprl/theories/czf/czf_itt_subgroup.prla
+4344 -5080	metaprl/theories/itt/itt_struct2.prla
+772 -986	metaprl/theories/itt/itt_struct3.prla