Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-05-20 16:03:12 -0700 (Thu, 20 May 1999)
Revision: 2659
Log message:
- Fixed a bug in Term_ds:
The code responsible for renaming bound variables was lost during code reorganization in the
revision 1.34 of term_base_ds.mlp on 1998/12/30
- Fixed a bug in Term_ds and Term_std:
Functon match_terms never checked if the matched term on the right-hand side had any
improperly bound variables. As a result,
match_terms [] <<lambda{y.('f 'y)}>> <<lambda{x.('x 'x)}>>
was returning
Refiner.Refiner.TermSubst.term_subst = ["f", x]
instead of raising an exception
- Some file headers still had "This file is part of Nuprl-Light" instead of
"This file is part of MetaPRL" - fixed