[TAG 0.5.6 (matching runs, but does not work properly)
martin.hofmann@uni-bamberg.de**20090507155512] 
<
[new version
martin.hofmann@uni-bamberg.de**20090507155502] 
[included wildcards in matching, unify ..., matching runs without crash, but erroneous
martin.hofmann@uni-bamberg.de**20090507155141] 
[string cosmetics
martin.hofmann@uni-bamberg.de**20090507131405] 
[trivia, renaming, cosmetics, stuff i don't know where it belongs to
martin.hofmann@uni-bamberg.de**20090506152638] 
[first matching implementation
martin.hofmann@uni-bamberg.de**20090506152619] 
[tpat2Call -> mkCall, changed mkCallAt
martin.hofmann@uni-bamberg.de**20090506152425] 
[constructor for CovrRules, added field to store names of bkgrd functions
martin.hofmann@uni-bamberg.de**20090506152046] 
[compute allowed calls from a CallDep
martin.hofmann@uni-bamberg.de**20090506151922] 
[Type *fiable -> *fiable
martin.hofmann@uni-bamberg.de**20090504094402] 
[Rulefrag renamed to CovrRule, frag to crul
martin.hofmann@uni-bamberg.de**20090430101604] 
[nicer modification functions for Igor inside IM
martin.hofmann@uni-bamberg.de**20090430093310] 
[implemented 'substitute' in terms of 'root', 'subterms' and 'applyAtPos'
martin.hofmann@uni-bamberg.de**20090428175300] 
[nasty hole-thing removed
martin.hofmann@uni-bamberg.de**20090428130755] 
[Do not allow sections in TInfixE, --> Maybes removed
martin.hofmann@uni-bamberg.de**20090428130320] 
[Use TExp instead of TPat in Rule
martin.hofmann@uni-bamberg.de**20090428123846] 
[accessor function for SynthesisContext
martin.hofmann@uni-bamberg.de**20090428121013] 
[isVar, fromVar, toVar, member functions of Term
martin.hofmann@uni-bamberg.de**20090428120331] 
[modified data tyoe 'Position'
martin.hofmann@uni-bamberg.de**20090428093028
 MODIFIED: argument order of 'Dot' is now Dot :: Int -> Position -> Position
 MODIFIED: ctor 'P' is obsolete
 
] 
[translate TExp to Pat
martin.hofmann@uni-bamberg.de**20090427071427] 
[wrong namespace
martin.hofmann@uni-bamberg.de**20090427070704] 
[TAG tagged 0.5.5 (less bugs in Subfunction, CallDep are vital for introducing/matching functions, therefore SubfunIntro is simpler)
martin.hofmann@uni-bamberg.de**20090424063510] 
>