-- InferenceRule.hs ---
--
-- Filename: InferenceRule.hs
-- Description:
-- Author: Manuel Schneckenreither
-- Maintainer:
-- Created: Fri Sep  5 11:22:40 2014 (+0200)
-- Version:
-- Package-Requires: ()
-- Last-Updated: Tue Apr 11 14:34:08 2017 (+0200)
--           By: Manuel Schneckenreither
--     Update #: 18
-- URL:
-- Doc URL:
-- Keywords:
-- Compatibility:
--
--

-- Commentary:
--
--
--
--

-- Change Log:
--
--
--

--
--

-- Code:

-- | TODO: comment this module
module Data.Rewriting.ARA.ByInferenceRules.InferenceRules
    (
    -- reexporting modules
    module Data.Rewriting.ARA.ByInferenceRules.InferenceRules.Ops
    )
    where

import           Data.Rewriting.ARA.ByInferenceRules.InferenceRules.Ops


--
-- InferenceRule.hs ends here
