log tests/crud.ur

age author description
2008-10-21 Adam Chlipala New implicit argument handling