Rewriting.hs

-----------------------------------------------------------------------------
-- Copyright 2014, Open Universiteit Nederland. This file is distributed
-- under the terms of the GNU General Public License. For more information,
-- see the file "LICENSE.txt", which is included in the distribution.
-----------------------------------------------------------------------------
-- |
-- Maintainer  :  bastiaan.heeren@ou.nl
-- Stability   :  provisional
-- Portability :  portable (depends on ghc)
--
-----------------------------------------------------------------------------
--  $Id: Rewriting.hs 6535 2014-05-14 11:05:06Z bastiaan $

module Ideas.Common.Rewriting (module Export) where

import Ideas.Common.Rewriting.RewriteRule as Export
import Ideas.Common.Rewriting.Term as Export