Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-04 18:15:05 -0800 (Tue, 04 Nov 2003)
Revision: 5071
Log message:

      Changing the order of arguments in apply_subst to make it easier to use
      it in functions like List.map.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-11-12 14:28:53 -0800 (Wed, 12 Nov 2003)
Revision: 5092
Log message:

      Automatically prove the 2'nd subgoal of type inference.
      

Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-11-12 17:30:39 -0800 (Wed, 12 Nov 2003)
Revision: 5094
Log message:

      Added type checking rule for Return, added type checking to CPS rule.