Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-28 21:17:27 -0800 (Fri, 28 Mar 2003)
Revision: 4307
Log message:

      Added two citations for the IR (taken from a table in Appel).
      Jyh, I can add more, but the ones I added seemed to be the most
      relevent (judging from the table).
      

Changes	Path
+1 -7	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.ml
+7 -0	texinputs-branches/lm_libmojave/rc.bib