Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-29 07:50:25 -0700 (Wed, 29 Apr 1998)
Revision: 2159
Log message:

      Added ocaml_sos.
      

Changes	Path
+3 -1	metaprl/editor/ml/Makefile
+4 -4	metaprl/filter/Makefile
+6 -1	metaprl/filter/filter_ocaml.ml
+5 -2	metaprl/filter/filter_summary.ml
+1 -1	metaprl/library/Makefile
+1 -1	metaprl/mk/config
+5 -4	metaprl/mllib/list_util.ml
+75 -36	metaprl/refiner/dform.ml
+13 -17	metaprl/refiner/refine.ml
+19 -11	metaprl/refiner/rewrite.ml
+6 -2	metaprl/refiner/rewrite.mli
+14 -4	metaprl/refiner/term.ml
+4 -0	metaprl/refiner/term.mli
+37 -23	metaprl/refiner/term_dtable.ml
+19 -17	metaprl/refiner/term_dtable.mli
+43 -24	metaprl/refiner/term_table.ml
+6 -3	metaprl/refiner/term_table.mli
+27 -6	metaprl/refiner/term_template.ml
+6 -2	metaprl/refiner/term_template.mli
+1 -1	metaprl/theories/base/Makefile
+11 -2	metaprl/theories/base/summary.ml
+5 -0	metaprl/theories/base/summary.mli
+5 -2	metaprl/theories/base/typeinf.ml
+6 -12	metaprl/theories/ocaml/Makefile
+8 -0	metaprl/theories/ocaml/ocaml_base_df.ml
Deleted	metaprl/theories/ocaml/ocaml_base_sos.ml
Deleted	metaprl/theories/ocaml/ocaml_base_sos.mli
Added	metaprl/theories/ocaml/ocaml_df.ml
Properties	metaprl/theories/ocaml/ocaml_df.ml
Added	metaprl/theories/ocaml/ocaml_df.mli
Properties	metaprl/theories/ocaml/ocaml_df.mli
+7 -5	metaprl/theories/ocaml/ocaml_df.mlz
+8 -0	metaprl/theories/ocaml/ocaml_expr_df.ml
Deleted	metaprl/theories/ocaml/ocaml_expr_sos.ml
Deleted	metaprl/theories/ocaml/ocaml_expr_sos.mli
Deleted	metaprl/theories/ocaml/ocaml_logic.ml
Deleted	metaprl/theories/ocaml/ocaml_logic.mli
+8 -0	metaprl/theories/ocaml/ocaml_me_df.ml
Deleted	metaprl/theories/ocaml/ocaml_me_sos.ml
Deleted	metaprl/theories/ocaml/ocaml_me_sos.mli
+9 -0	metaprl/theories/ocaml/ocaml_mt_df.ml
Deleted	metaprl/theories/ocaml/ocaml_mt_sos.ml
Deleted	metaprl/theories/ocaml/ocaml_mt_sos.mli
+11 -3	metaprl/theories/ocaml/ocaml_patt_df.ml
Deleted	metaprl/theories/ocaml/ocaml_patt_sos.ml
Deleted	metaprl/theories/ocaml/ocaml_patt_sos.mli
+8 -0	metaprl/theories/ocaml/ocaml_sig_df.ml
Deleted	metaprl/theories/ocaml/ocaml_sig_sos.ml
Deleted	metaprl/theories/ocaml/ocaml_sig_sos.mli
+9 -1	metaprl/theories/ocaml/ocaml_str_df.ml
Deleted	metaprl/theories/ocaml/ocaml_str_sos.ml
Deleted	metaprl/theories/ocaml/ocaml_str_sos.mli
+9 -0	metaprl/theories/ocaml/ocaml_type_df.ml
Deleted	metaprl/theories/ocaml/ocaml_type_sos.ml
Deleted	metaprl/theories/ocaml/ocaml_type_sos.mli
Properties	metaprl/theories/ocaml_sos
Added	metaprl/theories/ocaml_sos/Makefile
Properties	metaprl/theories/ocaml_sos/Makefile
Added	metaprl/theories/ocaml_sos/ocaml_base_sos.ml
Properties	metaprl/theories/ocaml_sos/ocaml_base_sos.ml
Added	metaprl/theories/ocaml_sos/ocaml_base_sos.mli
Properties	metaprl/theories/ocaml_sos/ocaml_base_sos.mli
Added	metaprl/theories/ocaml_sos/ocaml_expr_sos.ml
Properties	metaprl/theories/ocaml_sos/ocaml_expr_sos.ml
Added	metaprl/theories/ocaml_sos/ocaml_expr_sos.mli
Properties	metaprl/theories/ocaml_sos/ocaml_expr_sos.mli
Added	metaprl/theories/ocaml_sos/ocaml_logic.ml
Properties	metaprl/theories/ocaml_sos/ocaml_logic.ml
Added	metaprl/theories/ocaml_sos/ocaml_logic.mli
Properties	metaprl/theories/ocaml_sos/ocaml_logic.mli
Added	metaprl/theories/ocaml_sos/ocaml_me_sos.ml
Properties	metaprl/theories/ocaml_sos/ocaml_me_sos.ml
Added	metaprl/theories/ocaml_sos/ocaml_me_sos.mli
Properties	metaprl/theories/ocaml_sos/ocaml_me_sos.mli
Added	metaprl/theories/ocaml_sos/ocaml_mt_sos.ml
Properties	metaprl/theories/ocaml_sos/ocaml_mt_sos.ml
Added	metaprl/theories/ocaml_sos/ocaml_mt_sos.mli
Properties	metaprl/theories/ocaml_sos/ocaml_mt_sos.mli
Added	metaprl/theories/ocaml_sos/ocaml_patt_sos.ml
Properties	metaprl/theories/ocaml_sos/ocaml_patt_sos.ml
Added	metaprl/theories/ocaml_sos/ocaml_patt_sos.mli
Properties	metaprl/theories/ocaml_sos/ocaml_patt_sos.mli
Added	metaprl/theories/ocaml_sos/ocaml_sig_sos.ml
Properties	metaprl/theories/ocaml_sos/ocaml_sig_sos.ml
Added	metaprl/theories/ocaml_sos/ocaml_sig_sos.mli
Properties	metaprl/theories/ocaml_sos/ocaml_sig_sos.mli
Added	metaprl/theories/ocaml_sos/ocaml_str_sos.ml
Properties	metaprl/theories/ocaml_sos/ocaml_str_sos.ml
Added	metaprl/theories/ocaml_sos/ocaml_str_sos.mli
Properties	metaprl/theories/ocaml_sos/ocaml_str_sos.mli
Added	metaprl/theories/ocaml_sos/ocaml_theory.mlz
Properties	metaprl/theories/ocaml_sos/ocaml_theory.mlz
Added	metaprl/theories/ocaml_sos/ocaml_type_sos.ml
Properties	metaprl/theories/ocaml_sos/ocaml_type_sos.ml
Added	metaprl/theories/ocaml_sos/ocaml_type_sos.mli
Properties	metaprl/theories/ocaml_sos/ocaml_type_sos.mli
+58 -57	metaprl/theories/tactic/tactic_cache.ml