log tests/tryDml.urs

age author description
2010-09-05 Adam Chlipala tryDml