Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-11 21:56:01 -0700 (Sat, 11 May 2002)
Revision: 3627
Log message:

      Adding some minimal display forms.
      

Changes	Path
+93 -0	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_prog.ml
+11 -0	metaprl-branches/ocaml_3_04/theories/mc/mp_mc_fir_prog.mli