Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-19 17:48:21 -0800 (Fri, 19 Mar 2004)
Revision: 5498
Log message:

      Fixed looping problem in sequent display forms.  There's still a slight visual
      bug, however.  Contexts are displayed as "_:H".
      
      Fixes bug #94.
      

Changes	Path
+26 -5	mpcompiler/mmc/core/mmc_core_ast.ml