Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-15 01:39:11 -0700 (Fri, 15 Apr 2005)
Revision: 7221
Log message:

      Created a typeclass MTerm for meta-terms and changed the
      Summary!meta_operators to have the MTerm type instead of Dform.
      

Changes	Path
+6 -5	metaprl/support/display/summary.ml
+6 -5	metaprl/support/display/summary.mli
+5 -5	mpcompiler/mmc/arch/x86/type/mmc_x86_mterm.mli
+7 -7	mpcompiler/mmc/core/mmc_core_mterm.mli
+0 -0	mpcompiler/mmc/test/mmc_ref_test.ml
+3 -3	mpcompiler/poplmark/pmc/base/pmc_base_grammar.mli