log tests/dlist2.urp

age author description
2009-01-17 Adam Chlipala dlist2 working swimmingly