Problems with Sequent Display

[davidfaraci]

Sequents do not display premises in stated order. Example:

Sequents sometimes display premises multiple times. Example:

[gleachkr]

Ok, I think I've fixed the repeated premise issue. The ordering of premises is tricky---it's determined basically by the form of the inference rules you use, I think, which can interact in complicated ways pretty quickly.

I think the easiest way to get the order of premises in the sequent to match the order of their occurrence in the proof would be to look the proof after figuring out what it established, and then to re-order the premises. This would involve a lot of code reorganization. I think it might be better to put this on hold until writing a new natural deduction module like the one projected in #23.

[davidfaraci]

Repeated premise issues seems to be fixed. Sounds like a good idea to wait on the other issue.

[gleachkr]

Ok. I'll add a note to #23