Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-05 20:00:06 -0700 (Mon, 05 Apr 2004)
Revision: 5610
Log message:

      Updated display forms for sequents to use an explicit
      sequent_arg{...}.
      
      The ml_dform to display contexts is unsatisfying...  We should
      think about pattern syntax for contexts.
      

Changes	Path
+4 -4	mpcompiler/mmc/core/mmc_core_ast.ml
+16 -15	mpcompiler/mmc/core/mmc_core_tast.ml