Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-18 10:48:05 -0800 (Wed, 18 Feb 1998)
Revision: 2088
Log message:

      Initial ocaml semantics.
      

Changes	Path
+5 -1	metaprl/Makefile
+4 -1	metaprl/clib/Makefile
+62 -18	metaprl/filter/Makefile
+4 -1	metaprl/filter/filter_cache.ml
+27 -12	metaprl/filter/filter_ocaml.ml
+16 -6	metaprl/filter/filter_parse.ml
+4 -1	metaprl/filter/filter_process_type.mlz
Added	metaprl/filter/filter_summary_modules.ml
Properties	metaprl/filter/filter_summary_modules.ml
Added	metaprl/filter/filter_summary_modules.mli
Properties	metaprl/filter/filter_summary_modules.mli
Added	metaprl/filter/filter_summary_param.ml
Properties	metaprl/filter/filter_summary_param.ml
Added	metaprl/filter/filter_summary_param.mli
Properties	metaprl/filter/filter_summary_param.mli
Added	metaprl/filter/filter_summary_param.mlz
Properties	metaprl/filter/filter_summary_param.mlz
Deleted	metaprl/filter/filter_summary_spec.mlz
Deleted	metaprl/filter/filter_summary_util.ml
Deleted	metaprl/filter/filter_summary_util.mli
+11 -22	metaprl/filter/prlcomp.ml
+6 -0	metaprl/filter/term_grammar.ml
+3 -1	metaprl/library/Makefile
+6 -2	metaprl/library/library_type_base.ml
+14 -6	metaprl/library/registry.ml
+60 -25	metaprl/mk/config
+2 -0	metaprl/mllib/Makefile
+7 -1	metaprl/mllib/env_arg.ml
+6 -3	metaprl/mllib/file_base.ml
Added	metaprl/mllib/file_base_type.ml
Properties	metaprl/mllib/file_base_type.ml
Deleted	metaprl/mllib/file_base_type.mli
+13 -4	metaprl/mllib/file_type_base.ml
+2 -0	metaprl/refiner/Makefile
+10 -1	metaprl/refiner/dform.ml
+2 -10	metaprl/theories/base/Makefile
+3 -10	metaprl/theories/itt/Makefile
+5 -2	metaprl/theories/itt/itt_equal.mli
Properties	metaprl/theories/ocaml
Added	metaprl/theories/ocaml/Makefile
Properties	metaprl/theories/ocaml/Makefile
+101 -41	metaprl/theories/ocaml/ocaml.mlz
Added	metaprl/theories/ocaml/ocaml_base_df.ml
Properties	metaprl/theories/ocaml/ocaml_base_df.ml
Added	metaprl/theories/ocaml/ocaml_base_df.mli
Properties	metaprl/theories/ocaml/ocaml_base_df.mli
Deleted	metaprl/theories/ocaml/ocaml_base_df.mlz
+27 -14	metaprl/theories/ocaml/ocaml_base_sos.ml
Added	metaprl/theories/ocaml/ocaml_base_sos.mli
Properties	metaprl/theories/ocaml/ocaml_base_sos.mli
+47 -26	metaprl/theories/ocaml/ocaml_expr_df.ml
Added	metaprl/theories/ocaml/ocaml_expr_df.mli
Properties	metaprl/theories/ocaml/ocaml_expr_df.mli
+280 -197	metaprl/theories/ocaml/ocaml_expr_sos.ml
Added	metaprl/theories/ocaml/ocaml_expr_sos.mli
Properties	metaprl/theories/ocaml/ocaml_expr_sos.mli
Added	metaprl/theories/ocaml/ocaml_logic.ml
Properties	metaprl/theories/ocaml/ocaml_logic.ml
Added	metaprl/theories/ocaml/ocaml_logic.mli
Properties	metaprl/theories/ocaml/ocaml_logic.mli
+7 -4	metaprl/theories/ocaml/ocaml_me_df.ml
Added	metaprl/theories/ocaml/ocaml_me_df.mli
Properties	metaprl/theories/ocaml/ocaml_me_df.mli
Added	metaprl/theories/ocaml/ocaml_me_sos.ml
Properties	metaprl/theories/ocaml/ocaml_me_sos.ml
Added	metaprl/theories/ocaml/ocaml_me_sos.mli
Properties	metaprl/theories/ocaml/ocaml_me_sos.mli
+8 -5	metaprl/theories/ocaml/ocaml_mt_df.ml
Added	metaprl/theories/ocaml/ocaml_mt_df.mli
Properties	metaprl/theories/ocaml/ocaml_mt_df.mli
Added	metaprl/theories/ocaml/ocaml_mt_sos.ml
Properties	metaprl/theories/ocaml/ocaml_mt_sos.ml
Added	metaprl/theories/ocaml/ocaml_mt_sos.mli
Properties	metaprl/theories/ocaml/ocaml_mt_sos.mli
+32 -17	metaprl/theories/ocaml/ocaml_patt_df.ml
Added	metaprl/theories/ocaml/ocaml_patt_df.mli
Properties	metaprl/theories/ocaml/ocaml_patt_df.mli
+289 -75	metaprl/theories/ocaml/ocaml_patt_sos.ml
Added	metaprl/theories/ocaml/ocaml_patt_sos.mli
Properties	metaprl/theories/ocaml/ocaml_patt_sos.mli
+29 -19	metaprl/theories/ocaml/ocaml_sig_df.ml
Added	metaprl/theories/ocaml/ocaml_sig_df.mli
Properties	metaprl/theories/ocaml/ocaml_sig_df.mli
Added	metaprl/theories/ocaml/ocaml_sig_sos.ml
Properties	metaprl/theories/ocaml/ocaml_sig_sos.ml
Added	metaprl/theories/ocaml/ocaml_sig_sos.mli
Properties	metaprl/theories/ocaml/ocaml_sig_sos.mli
+12 -10	metaprl/theories/ocaml/ocaml_str_df.ml
Added	metaprl/theories/ocaml/ocaml_str_df.mli
Properties	metaprl/theories/ocaml/ocaml_str_df.mli
Added	metaprl/theories/ocaml/ocaml_str_sos.ml
Properties	metaprl/theories/ocaml/ocaml_str_sos.ml
Added	metaprl/theories/ocaml/ocaml_str_sos.mli
Properties	metaprl/theories/ocaml/ocaml_str_sos.mli
+19 -8	metaprl/theories/ocaml/ocaml_type_df.ml
Added	metaprl/theories/ocaml/ocaml_type_df.mli
Properties	metaprl/theories/ocaml/ocaml_type_df.mli
Added	metaprl/theories/ocaml/ocaml_type_sos.ml
Properties	metaprl/theories/ocaml/ocaml_type_sos.ml
Added	metaprl/theories/ocaml/ocaml_type_sos.mli
Properties	metaprl/theories/ocaml/ocaml_type_sos.mli
+6 -11	metaprl/theories/tactic/Makefile
+4 -1	metaprl/theories/tactic/tacticals.ml