log tests/dynClass.urp

age author description
2011-12-27 Adam Chlipala 'dynClass' pseudo-attribute