log

age author description
Thu, 26 Mar 2009 15:54:04 -0400 Adam Chlipala Enforce termination of type class instances