Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-13 08:02:26 -0800 (Fri, 13 Feb 1998)
Revision: 2086
Log message:

      Partially implemented semantics for caml.
      

Changes	Path
Added	metaprl/theories/ocaml/ocaml.mlz
Properties	metaprl/theories/ocaml/ocaml.mlz
Added	metaprl/theories/ocaml/ocaml_base_df.mlz
Properties	metaprl/theories/ocaml/ocaml_base_df.mlz
Added	metaprl/theories/ocaml/ocaml_base_sos.ml
Properties	metaprl/theories/ocaml/ocaml_base_sos.ml
Added	metaprl/theories/ocaml/ocaml_df.mlz
Properties	metaprl/theories/ocaml/ocaml_df.mlz
Added	metaprl/theories/ocaml/ocaml_expr_df.ml
Properties	metaprl/theories/ocaml/ocaml_expr_df.ml
Added	metaprl/theories/ocaml/ocaml_expr_sos.ml
Properties	metaprl/theories/ocaml/ocaml_expr_sos.ml
Added	metaprl/theories/ocaml/ocaml_me_df.ml
Properties	metaprl/theories/ocaml/ocaml_me_df.ml
Added	metaprl/theories/ocaml/ocaml_mt_df.ml
Properties	metaprl/theories/ocaml/ocaml_mt_df.ml
Added	metaprl/theories/ocaml/ocaml_patt_df.ml
Properties	metaprl/theories/ocaml/ocaml_patt_df.ml
Added	metaprl/theories/ocaml/ocaml_patt_sos.ml
Properties	metaprl/theories/ocaml/ocaml_patt_sos.ml
Added	metaprl/theories/ocaml/ocaml_sig_df.ml
Properties	metaprl/theories/ocaml/ocaml_sig_df.ml
Added	metaprl/theories/ocaml/ocaml_str_df.ml
Properties	metaprl/theories/ocaml/ocaml_str_df.ml
Added	metaprl/theories/ocaml/ocaml_type_df.ml
Properties	metaprl/theories/ocaml/ocaml_type_df.ml