Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-13 08:21:46 -0700 (Sun, 13 Jun 1999)
Revision: 2707
Log message:

      - Documented the behaviour of several functions when variable lists
      have repeated entries.
      In particular: <<x,x.'x>> is understood as <<x,y.'x>> by alpha_equality.
      
      - Made sure that this behaviour of Term_ds and Term_std is consistent
      with the documentation.
      
      - Documented a bug in alpha_equal_match
      

Changes  Path
+9 -0 metaprl/BUGS
+7 -0 metaprl/mllib/list_util.mli
+23 -2 metaprl/refiner/refsig/term_subst_sig.ml
+21 -15 metaprl/refiner/term_ds/term_subst_ds.ml
+9 -4 metaprl/refiner/term_std/term_subst_std.ml