Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-09 09:19:13 -0800 (Wed, 09 Mar 2005)
Revision: 6869
Log message:
Convert "std" lambdas to "rec" lambdas during type inference.
I'm not sure exactly the difference between "rec" and "std",
but let's work with it for now.
Also, I renamed Sequent.explode_sequent to Sequent.explode_sequent_arg
to avoid the shadowing hassle with TermMan.explode_sequent.