log tests/pvar.urs

age author description
2010-08-19 Adam Chlipala Polymorphic variants