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