Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-13 18:53:10 -0800 (Fri, 13 Jan 2006)
Revision: 8471
Log message:

      - Filter: when copying proofs from an old .prla/.prlb/.cmoz, pick up any
      available proof - regardless whether it refers to a rewrite, a conditional
      rewrite, or a rule. It used to be the case that if one removes a condition in
      a rewrite (making it an unconditional one), the old proof will not get picked
      up, which seems wrong.
      
      - The crw_args field name is misleading, renamed it to crw_assums.