Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-02-17 00:59:38 -0800 (Mon, 17 Feb 2003)
Revision: 4082
Log message:

      Added Phobos grammar for M_ir.
      For now, I also added the compiled list module.
      

Changes	Path
Properties	metaprl/theories/experimental/compile
Added	metaprl/theories/experimental/compile/list.cph
Properties	metaprl/theories/experimental/compile/list.cph
+3 -0	metaprl/theories/experimental/compile/m_ir.ml
Added	metaprl/theories/experimental/compile/m_ir.pho
Properties	metaprl/theories/experimental/compile/m_ir.pho