[TAG 0.5.0 (subfunctions, problems matching variables of different type)
martin.hofmann@uni-bamberg.de**20090218122837] 
<
[ Introducing subfunction
martin.hofmann@uni-bamberg.de**20090218122713] 
[minor changes
martin.hofmann@uni-bamberg.de**20090218122433] 
[code cosmetics
martin.hofmann@uni-bamberg.de**20090218122231] 
[subsumesLs
martin.hofmann@uni-bamberg.de**20090218122030] 
[prettier printing
martin.hofmann@uni-bamberg.de**20090218121954] 
[prettier printing, code cosmetics
martin.hofmann@uni-bamberg.de**20090218092833] 
[converting Exp <-> Pat, Bugfix in subterms
martin.hofmann@uni-bamberg.de**20090218091718] 
[no Logging in Antiunifier
martin.hofmann@uni-bamberg.de**20090218091530] 
[Bugfix in pattern matching Exp and Pat
martin.hofmann@uni-bamberg.de**20090218090730
 match t@(AppE _ _)(TupE s)	 for up to 10-tuples
 match (TupE s) t@(AppE _ _)	 for up to 10-tuples
 match (ListE [])c@(ConE n)	 for n == '([])
 match c@(ConE n)(ListE [])       for n == '([])
 simialr for unify and Pat
 match(ConP n []) (ListP [])	 for n == '(:)
 match(ConP n ([p,ps])) (ListP (s:ss)) for n == '(:)
] 
[ equality of Rules modulo variable renaming
martin.hofmann@uni-bamberg.de**20090211141240] 
[Equality on terms based on matching, selectors and observers for terms
martin.hofmann@uni-bamberg.de**20090211140142
 Terms/Unifier.hs:
 	- equal t1 t2 = matches t1 t2 && matches t2 t1
 	- equalLs as extension for Lists
 	- matches t1 t2 == True iff matching algorithm does not fail --> `catchError` used
 	- matchesLs as extension for lists
 Terms/Class.hs:
 	ctorAt, varAt, sameSymAt
 
] 
[removed unnecessary imports/exports
martin.hofmann@uni-bamberg.de**20090211135830] 
[code cosmetics, pointfree, haddock, etc.
martin.hofmann@uni-bamberg.de**20090211135019] 
[Notes und commented implementation of a LM with Q as inner monad
martin.hofmann@uni-bamberg.de**20090128161719] 
[code cosmetics
martin.hofmann@uni-bamberg.de**20090128110400] 
[move pretty printing functions from Logging.Logger to Logging.PrettyPrinter
martin.hofmann@uni-bamberg.de**20090126144723] 
[TAG 0.4.2 (numberOfPartitions as evaluation criteria for Hypos)
martin.hofmann@uni-bamberg.de**20090126142415] 
>