G4iSLt.G4iSLT_cut_extraction_theorem

Require Import G4iSLT_cut_elim.

Require Import Extraction.
Extraction Language Haskell.

Unset Extraction Optimize.

(* Time Separate *) Extraction G4iSLT_cut_elimination.