[code cosmetics, pointfree, haddock, etc.
martin.hofmann@uni-bamberg.de**20090211135019] hunk ./src/Data/IOData.hs 105
-initIOData nrs =
-    foldr (\(n,r) -> insertUnsafe n r) emptyIOData nrs
+initIOData = foldr (\(n,r) -> insertUnsafe n r) emptyIOData
hunk ./src/Data/IgorMonad.hs 81
+
+-- Bookkeeping: Increment the loop counter
hunk ./src/Data/Initialiser.hs 8
-    hypos2decs,rules2decs, rules2dec, rules2clauses, rule2clauses
+    hypos2decs,rules2decs, rules2dec, rules2clauses, rule2clauses,
hunk ./src/Data/Initialiser.hs 10
+    -- * Helpers
+    toRule,
+    
+    module Terms.Unifier
+    
hunk ./src/Data/Initialiser.hs 28
---import Data.Rules --Fragments (ruleFrag, ruleFrags, openPositions, freeVars)
hunk ./src/Data/Initialiser.hs 79
+--
+-- Convenience Functions for Testing
+--
hunk ./src/Data/Initialiser.hs 83
+toRule :: [Dec] -> Rule
+toRule = head . S.toList . snd . dec2rules . head