Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-01-03 15:20:29 -0800 (Sat, 03 Jan 1998)
Revision: 2075
Log message:

      Upgraded to OCaml 1.07, initial semantics of OCaml.
      

Changes	Path
Added	metaprl/theories/caml/caml_base.mli
Properties	metaprl/theories/caml/caml_base.mli
Added	metaprl/theories/caml/caml_common.mli
Properties	metaprl/theories/caml/caml_common.mli
Added	metaprl/theories/caml/caml_expr.mli
Properties	metaprl/theories/caml/caml_expr.mli
Added	metaprl/theories/caml/caml_state.mli
Properties	metaprl/theories/caml/caml_state.mli
Added	metaprl/theories/caml/caml_store.mli
Properties	metaprl/theories/caml/caml_store.mli