log tests/megaform.urs

age author description
2009-04-30 Adam Chlipala Megaform test