{- |
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

dynLogicList :: [AnyLogic]
dynLogicList = []
