Codestin Search App

Thanks to visit codestin.com
Credit goes to andreasabel.github.io

module Everything where

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