log tests/init.ur

age author description
2009-12-13 Adam Chlipala Initializers and setval