log src/list_util.sml

age author description
2009-06-16 Adam Chlipala Fix a bug in type class enrichment from substructures