Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-12 11:44:27 -0700 (Tue, 12 Aug 2003)
Revision: 4826
Log message:
Made some progress on unification.
NOTE: Aleksey, there are various problems with sequents in
Rewrite.extract_redex_values. I've marked them with a BUG
comment, and you should look when you get a chance.