import ModuleName.Defs
import ModuleName.Theorems
import ModuleName.Proofs.Basic
import ModuleName.Discharge
import ModuleName.Solution