/lib/sequent_calculus/

• ../
• headers.ml
• sequent_proof.ml
• sequent_rules.ml