Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-28 01:46:07 -0800 (Wed, 28 Nov 2001)
Revision: 3457
Log message:

      - Continuing implementation of code to convert from Fir.prog to MetaPRL terms,
        and vica versa.
      - Renamed some files to avoid conflicts.
      

Changes	Path
+73 -73	metaprl/editor/ml/Conscript
+17 -7	metaprl/theories/mc/Conscript
+1 -1	metaprl/theories/mc/Makefile
+11 -1	metaprl/theories/mc/README
+1 -1	metaprl/theories/mc/fir_exp.ml
Deleted	metaprl/theories/mc/fir_marshal.ml
Deleted	metaprl/theories/mc/fir_marshal.mli
Added	metaprl/theories/mc/mc_fir_connect.ml
Properties	metaprl/theories/mc/mc_fir_connect.ml
Added	metaprl/theories/mc/mc_fir_connect.mli
Properties	metaprl/theories/mc/mc_fir_connect.mli
Added	metaprl/theories/mc/mc_fir_connect_base.ml
Properties	metaprl/theories/mc/mc_fir_connect_base.ml
Added	metaprl/theories/mc/mc_fir_connect_base.mli
Properties	metaprl/theories/mc/mc_fir_connect_base.mli
Added	metaprl/theories/mc/mc_fir_connect_exp.ml
Properties	metaprl/theories/mc/mc_fir_connect_exp.ml
Added	metaprl/theories/mc/mc_fir_connect_exp.mli
Properties	metaprl/theories/mc/mc_fir_connect_exp.mli
Added	metaprl/theories/mc/mc_fir_connect_ty.ml
Properties	metaprl/theories/mc/mc_fir_connect_ty.ml
Added	metaprl/theories/mc/mc_fir_connect_ty.mli
Properties	metaprl/theories/mc/mc_fir_connect_ty.mli
Added	metaprl/theories/mc/mc_term_op.ml
Properties	metaprl/theories/mc/mc_term_op.ml
Added	metaprl/theories/mc/mc_term_op.mli
Properties	metaprl/theories/mc/mc_term_op.mli
Deleted	metaprl/theories/mc/mc_term_op_ds.ml
Deleted	metaprl/theories/mc/mc_term_op_ds.mli