log

age author description
Tue, 19 Oct 2010 10:13:24 -0400 Adam Chlipala Smarter handling of unification variables for 'kindof' on projections