Revision #2185 → #2877 · back to history
addedLK and LJ (first sequent calculi)5ecb00052843
addedDeduction theorem (motivation)0b38fc2a7ab9
addedCut rule8515d738fca3
addedAxiom of identity (I)047fb146eb95
addedMultiset simplification of sequentsa757f6176f07