Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-11 22:30:11 -0800 (Tue, 11 Mar 2003)
Revision: 4164
Log message:

      - Working on cleaning up and documenting the term addresses interfaces
      (unfortunatelly, there are a lot of bugs in both std/gen and ds implementations
      of those and I need to figure out what the expected behaviour is before I can start
      fixing things).
      - Minor typo in itt_record documentation.
      

Changes  Path
+1 -1 metaprl/refiner/refiner/refiner_std.ml
+2 -11 metaprl/refiner/refsig/term_addr_sig.ml
+3 -8 metaprl/refiner/term_ds/term_addr_ds.ml
+1 -1 metaprl/refiner/term_gen/Files
+16 -25 metaprl/refiner/term_gen/term_addr_gen.ml
+11 -4 metaprl/refiner/term_gen/term_addr_gen.mli
+3 -1 metaprl/refiner/term_gen/term_man_gen.ml
+2 -1 metaprl/refiner/term_gen/term_man_gen.mli
+1 -1 metaprl/theories/itt/itt_record.ml