log tests/impl.urp

age author description
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications