Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-15 21:21:13 -0700 (Wed, 15 Oct 2003)
Revision: 5001
Log message:

      Working on bug 76. Fixed a number of bugs in Term_std.
      

Changes	Path
+5 -4	metaprl/refiner/term_gen/term_addr_gen.ml
+2 -1	metaprl/refiner/term_gen/term_addr_gen.mli
+36 -19	metaprl/refiner/term_gen/term_man_gen.ml
+1 -1	metaprl/refiner/term_gen/term_man_gen_sig.ml
+2 -2	metaprl/refiner/term_std/term_base_std.ml
+19 -5	metaprl/refiner/term_std/term_op_std.ml