Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-03-20 14:16:22 -0800 (Fri, 20 Mar 1998)
Revision: 2099
Log message:

      Eli: Changed integer parameters to Num.num's.
      

Changes	Path
+2 -0	metaprl/filter/Makefile
+6 -0	metaprl/filter/filter_ast.ml
+57 -15	metaprl/filter/filter_ocaml.ml
+16 -9	metaprl/filter/filter_ocaml.mli
+12 -5	metaprl/filter/filter_summary.ml
+9 -5	metaprl/filter/term_grammar.ml
+14 -10	metaprl/library/basic.ml
+2 -2	metaprl/library/link.ml
+3 -3	metaprl/library/mbterm.ml
+6 -6	metaprl/library/nuprl5.ml
+2 -2	metaprl/library/orb.ml
+1 -1	metaprl/mk/config
+2 -0	metaprl/refiner/Makefile
+4 -0	metaprl/refiner/ml_format_sig.ml
+6 -0	metaprl/refiner/ml_print.ml
+21 -18	metaprl/refiner/rewrite.ml
+9 -0	metaprl/refiner/rformat.ml
+4 -0	metaprl/refiner/rformat.mli
+9 -6	metaprl/refiner/simple_print.ml
+6 -3	metaprl/refiner/term.ml
+10 -7	metaprl/refiner/term.mli