log tests/wildify.ur

age author description
2010-05-27 Adam Chlipala Fix bug in module path generation with module roots; push wildification through substructures