log tests/unif1.ur

age author description
Sat, 29 Oct 2011 17:30:34 -0400 Adam Chlipala Shorter, more focused error messages about undetermined unification variables