[Matita] Unification with flexible head and KAM

[Enrico Tassi]

On Thu, Sep 23, 2010 at 11:24:30AM +0200, Enrico Tassi wrote:
> I attach a patch 

Here it is
-- 
Enrico Tassi
-------------- next part --------------
A non-text attachment was scrubbed...
Name: a.diff
Type: text/x-diff
Size: 947 bytes
Desc: not available
URL: <http://www.cs.unibo.it/pipermail/matita/attachments/20100923/47a54dd2/attachment.diff>