module stlc.catComb.properities where

open import stlc.catComb.properities.propA public
open import stlc.catComb.properities.propB public
open import stlc.catComb.properities.propC public