[toRule fromRule
martin.hofmann@uni-bamberg.de**20081126155244] hunk ./src/Data/Initialiser.hs 13
+toRule :: Clause -> Rule
+toRule (Clause ls (NormalB rs) _) = rule ls rs
+toRule c = error $ "Cannot transform clause " ++ (show c) ++ " to an equation!"
+
+fromRule :: Equation -> Clause
+fromRule r = Clause (lhs r) (NormalB.rhs r) [] 
+    
+
+
+
+