module Everything where

import Library
import Syntax
import Delay
import RenamingAndSubstitution
import Evaluation
import Termination
import EquationalTheory
import Completeness
import Soundness