[removed Abduce.hs
martin.hofmann@uni-bamberg.de**20091217095939] hunk ./src/Igor2/RuleDevelopment/Abduce.hs 1
-
-module Igor2.RuleDevelopment.Abduce where
-
-import Data.IgorMonad
-import Data.IOData
-
-import Logging
-
rmfile ./src/Igor2/RuleDevelopment/Abduce.hs