Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-25 15:59:56 -0700 (Wed, 25 Jun 2003)
Revision: 4686
Log message:

      In addition to marshaling terms and meta_terms in Aleksey's last
      update, also marshal opnames and nums.
      

Changes	Path
+59 -24	metaprl/filter/filter/filter_prog.ml
+15 -5	metaprl/refiner/reflib/ml_term.ml
+7 -6	metaprl/refiner/reflib/ml_term.mli