Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-08-04 12:33:52 -0700 (Tue, 04 Aug 1998)
Revision: 2402
Log message:

      Relaxed addressing to allow rewriting in hyp Contexts.
      

Changes	Path
+103 -11	metaprl/editor/ml/test.ml
+10 -2	metaprl/editor/ml/test.mli
+2 -2	metaprl/editor/ml/x.ml
+23 -23	metaprl/mllib/fun_splay_set.ml
+73 -28	metaprl/refiner/term_ds/term_addr_ds.mlp
+3 -14	metaprl/refiner/term_ds/term_man_ds.mlp
+0 -11	metaprl/theories/tactic/conversionals.ml