log tests/modproj.lac

age author description
2008-06-19 Adam Chlipala Corify removes modules
2008-06-17 Adam Chlipala Proper selfification
2008-06-17 Adam Chlipala Elaborating module projection