[some minar changes (typos,...)
martin.hofmann@uni-bamberg.de**20081126093546] hunk ./src/Terms.hs 10
-import Language.Haskell.TH ( Dec (FunD)
-                           , Clause (Clause)
-                           , Body (NormalB)
-                           , Name, mkName
-                           , Exp (VarE, ConE, LitE, ListE, TupE, InfixE, AppE, CondE)
-                           , Pat (VarP, ConP, LitP, ListP, TupP, InfixP) 
-                           , Q(..))
+import Language.Haskell.TH 
+--                           ( Dec (FunD)
+--                           , Clause (Clause)
+--                           , Body (NormalB)
+--                           , Name, mkName
+--                           , Exp (VarE, ConE, LitE, ListE, TupE, InfixE, AppE, CondE)
+--                           , Pat (VarP, ConP, LitP, ListP, TupP, IifixP)
+--                           , Q(..))
hunk ./src/Terms/Antiunifier.hs 105
-    -- | Same as 'antiunify' but uses a 'VarMp' as initial state
+    -- | Same as 'antiunify' but uses a 'VarMap' as initial state
hunk ./src/Terms/Class.hs 37
-    deriving( Eq )
+    deriving( Eq, Ord )