Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-07-25 21:21:46 -0700 (Wed, 25 Jul 2001)
Revision: 3349
Log message:

      Initial import.  mc is the name of Jason's compiler project, and functional
      internal representation referrs to one of the stages in the compiler.  This
      theory will hopefully be a formalization of that representation in MetaPRL.
      
      The files right now are far from useful/complete.
      (fir_exp.ml is unduly messy since it reflects a talk I had with Jason today and
      so has lots of notes and ad hoc code.)  Hopefully, I'll also add some comments
      that will make the files a bit more readable to people who know nothing
      about the compiler.
      

Changes  Path
+1 -1 metaprl/editor/ml/mpconfig
Added metaprl/theories/mc/Makefile
Properties metaprl/theories/mc/Makefile
Added metaprl/theories/mc/fir_exp.ml
Properties metaprl/theories/mc/fir_exp.ml
Added metaprl/theories/mc/fir_exp.mli
Properties metaprl/theories/mc/fir_exp.mli
Added metaprl/theories/mc/fir_int.ml
Properties metaprl/theories/mc/fir_int.ml
Added metaprl/theories/mc/fir_int.mli
Properties metaprl/theories/mc/fir_int.mli
Added metaprl/theories/mc/fir_test.ml
Properties metaprl/theories/mc/fir_test.ml
Added metaprl/theories/mc/fir_test.mli
Properties metaprl/theories/mc/fir_test.mli