Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-09 21:50:05 -0700 (Thu, 09 May 2002)
Revision: 3620
Log message:

      Working on adding the terms and conversion
      functions needed to represent entire
      MCC FIR programs.
      

Changes	Path
+5 -1	metaprl-branches/ocaml_3_04/theories/mc/Conscript
+1 -1	metaprl-branches/ocaml_3_04/theories/mc/TODO
+2 -2	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_compile.ml
+51 -1	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_connect_base.ml
+9 -1	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_connect_base.mli
+24 -0	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_base.ml
+13 -0	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_base.mli
+43 -1	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_prog.ml
+38 -0	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_prog.mli