Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-13 07:59:04 -0800 (Fri, 13 Feb 1998)
Revision: 2085
Log message:

      Moving this directory to ocaml.
      

Changes	Path
Deleted	metaprl/theories/caml/caml_base.mli
Deleted	metaprl/theories/caml/caml_common.mli
Deleted	metaprl/theories/caml/caml_expr.mli
Deleted	metaprl/theories/caml/caml_state.mli
Deleted	metaprl/theories/caml/caml_store.mli
Deleted	metaprl/theories/caml/caml_syntax.ml