[subsumesLs
martin.hofmann@uni-bamberg.de**20090218122030] hunk ./src/Terms/Class.hs 64
-
hunk ./src/Terms/Unifier.hs 6
-    Unifieable(mgu, applyMgu,matches, matchesLs, equal, equalLs)
+    Unifieable(mgu, applyMgu,matches, matchesLs, equal, equalLs, subsumes, subsumesLs)
hunk ./src/Terms/Unifier.hs 89
+    -- | subsumesLs = flip matchesLs
+    subsumesLs ::  [t] -> [t] -> Bool
+    subsumesLs = flip matchesLs
+    
hunk ./src/Terms/Unifier.hs 249
-        | otherwise                         = flush "No Match!"  
-        
+        | otherwise                         = flush "No Match!"        
hunk ./src/Terms/Unifier.hs 251
-        match s1 t1 >> match s2 t2 >> match s3 t3
-    
-    match s t                               =   
+        match s1 t1 >> match s2 t2 >> match s3 t3    
+    match s t                               =