{- |

Module : $Header$

Description : Automatically modified file, includes the user-defined

logics in the Hets logic list. Do not change.

Copyright : (c) Kristina Sojakova, DFKI Bremen 2010

License : GPLv2 or higher, see LICENSE.txt

Maintainer : k.sojakova@jacobs-university.de

Stability : experimental

Portability : portable -}

module Comorphisms.DynLogicList where

import Logic.Logic

import FOL.Logic_FOL

dynLogicList :: [AnyLogic]

dynLogicList = [Logic FOL]