Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-05-22 17:00:51 -0700 (Sat, 22 May 1999)
Revision: 2668
Log message:

      Added ML side-conditions, so that rewrites and rules can be defined
      with ML code in the really necessary cases.  The ml_rw keyword
      declares/defines an ML rewrite, and ml_rule declares/defines
      an rule application defined in ML.
      

Changes	Path
+4 -4	metaprl/editor/ml/shell.ml
+35 -2	metaprl/editor/ml/test.ml
+3 -0	metaprl/editor/ml/test.mli
+2 -2	metaprl/filter/filter_cache_fun.ml
+4 -0	metaprl/filter/filter_comment.ml
+10 -0	metaprl/filter/filter_hash.ml
+30 -0	metaprl/filter/filter_ocaml.ml
+51 -35	metaprl/filter/filter_parse.ml
+352 -147	metaprl/filter/filter_prog.ml
+8 -4	metaprl/filter/filter_prog.mli
+160 -107	metaprl/filter/filter_summary.ml
+6 -6	metaprl/filter/filter_summary.mli
+6 -6	metaprl/filter/filter_summary_type.mlz
+10 -11	metaprl/filter/filter_type.mlz
+10 -0	metaprl/filter/mLast_util.ml
+12 -6	metaprl/mllib/marshal_shared.ml
+4 -2	metaprl/mllib/marshal_sig.mlz
+73 -61	metaprl/refiner/refiner/refine.ml
+1 -1	metaprl/refiner/reflib/dform.ml
+5 -5	metaprl/refiner/reflib/term_table.ml
+26 -14	metaprl/refiner/refsig/refine_sig.ml
+15 -8	metaprl/refiner/refsig/rewrite_sig.ml
+9 -6	metaprl/refiner/rewrite/rewrite.ml
+7 -7	metaprl/theories/base/base_dform.ml
+5 -6	metaprl/theories/itt/itt_arith.ml
+4 -6	metaprl/theories/itt/itt_arith.mli
+5 -3	metaprl/theories/itt/itt_equal.ml
+4 -3	metaprl/theories/itt/itt_equal.mli
+0 -6	metaprl/theories/itt/itt_int.ml
+0 -3	metaprl/theories/itt/itt_int.mli
+5 -5	metaprl/theories/ocaml/ocaml_expr_df.ml
+10 -0	metaprl/util/macro.ml