Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-17 10:54:29 -0700 (Thu, 17 Jun 2004)
Revision: 5918
Log message:
- Removed some more unused code.
- Removed edit_refine (which was duplicating the edit_interpret (ProofRefine)
functionality).