Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-20 04:45:41 -0800 (Fri, 20 Jan 2006)
Revision: 8538
Log message:

      Fixed a bug in the context teleportation axiom for cases where the context
      being teleported had arguments (this is the bug we've discussed a while ago).
      
      3 proofs were affected, but all replayed fine (with some manual cutting &
      pasting of ruleboxes).