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.