Theory SequentInvertibility

(* License: LGPL *)

theory SequentInvertibility
imports MultiSequents SingleSuccedent NominalSequents ModalSequents SRCTransforms
begin

end