module organic-chemistry where

open import organic-chemistry.alcohols public
open import organic-chemistry.alkanes public
open import organic-chemistry.alkenes public
open import organic-chemistry.alkynes public
open import organic-chemistry.ethane public
open import organic-chemistry.hydrocarbons public
open import organic-chemistry.methane public
open import organic-chemistry.saturated-carbons public