(* License: LGPL *) theory SequentInvertibility imports MultiSequents SingleSuccedent NominalSequents ModalSequents SRCTransforms begin end