log

age author description
Sat, 26 Dec 2009 11:56:40 -0500 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications