Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-01-18 18:53:03 -0800 (Tue, 18 Jan 2005) Revision: 6436 Log message:
The MMC part of the single-conclusion sequents change (untested)