Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-05-23 15:38:46 -0700 (Sun, 23 May 1999)
Revision: 2670
Log message:
TermSubst.equal_params should be called recursively when argument is a ParamList
| Changes | Path |
| +3 -1 | metaprl/refiner/term_ds/term_subst_ds.ml |
| +3 -1 | metaprl/refiner/term_std/term_subst_std.ml |