{- |
Description :  logic of the theorem prover Omega
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "Omega" folder contains the unfinished skeleton of
an instance of "Logic.Logic" for logic of the theorem prover Omega.
See <https://page.mi.fu-berlin.de/cbenzmueller/papers/C11.pdf>
-}

module Omega where