[no Logging in Antiunifier
martin.hofmann@uni-bamberg.de**20090218091530] hunk ./src/Terms/Antiunifier.hs 359
-        lift (setCurrentLogger "Terms.Antiunifier.aunify") >>
-        llogEnterDE >>
-        llogDE (text "Input arguments are :" <> pretty l) >>
+--        lift (setCurrentLogger "Terms.Antiunifier.aunify") >>
+--        llogEnterDE >>
+--        llogDE (text "Input arguments are :" <> pretty l) >>
hunk ./src/Terms/Antiunifier.hs 364
-                llogDE (text "Subterms are :" <> pretty subterms) 
+--                llogDE (text "Subterms are :" <> pretty subterms) 
hunk ./src/Terms/Antiunifier.hs 374
-                llogDE (text "Antinunified subterms (straight) are :" <> pretty straightai) 
+--                llogDE (text "Antinunified subterms (straight) are :" <> pretty straightai) 
hunk ./src/Terms/Antiunifier.hs 379
-                          llogDE $ text "List have different length"
-                          llogDE $ text "Antinunified subterms (ragged) are :" <> pretty straightai
+--                          llogDE $ text "List have different length"
+--                          llogDE $ text "Antinunified subterms (ragged) are :" <> pretty straightai
hunk ./src/Terms/Antiunifier.hs 592
-    lift (setCurrentLogger "Terms.Antiunifier.computeAntiInstance")
-    llogEnterDE
-    llogDE $ text "Term Image is:" <> pretty l
+--    lift (setCurrentLogger "Terms.Antiunifier.computeAntiInstance")
+--    llogEnterDE
+--    llogDE $ text "Term Image is:" <> pretty l
hunk ./src/Terms/Antiunifier.hs 596
-    llogDE $ text "Current varTable is:" <> pretty table
+--    llogDE $ text "Current varTable is:" <> pretty table
hunk ./src/Terms/Antiunifier.hs 598
-    llogDE $ text "update varTable with var:" <> pretty var
-    llogDE $ text "Updated varTable is:" <> pretty newTable
+--    llogDE $ text "update varTable with var:" <> pretty var
+--    llogDE $ text "Updated varTable is:" <> pretty newTable