[BUGFIX: dublicates in subfunction intro
martin.hofmann@uni-bamberg.de**20090911130922] hunk ./src/RuleDevelopment/Subfunction.hs 9
-import Data.List (foldl')
+import Data.List (foldl', nub)
hunk ./src/RuleDevelopment/Subfunction.hs 33
-    llogIN ( text "Rule_old:" <+> pretty cr <^>
+    llogIN ( text "Rule_old:" <+> pretty cr <$>
hunk ./src/RuleDevelopment/Subfunction.hs 35
-    llogDE ( text "abdcdIOs:" <+> pretty (zip subfnnms ios) <^>
-             text "Rule_sub:" <+> pretty rfsubs <^>
-             text "Pos:" <+> pretty posOfVarSubts <^>
+    llogDE ( text "abdcdIOs:" <+> pretty (zip subfnnms ios) <$>
+             text "Rule_sub:" <+> pretty rfsubs <$>
+             text "Pos:" <+> pretty posOfVarSubts <$>
hunk ./src/RuleDevelopment/Subfunction.hs 45
-    posOfVarSubts = map (\(_,i `Dot` _) -> Body (i°Root)) $ openPositions.crul $  cr 
+    posOfVarSubts = nub $ map (\(_,i `Dot` _) -> Body (i°Root)) $ openPositions.crul $  cr 