log tests/eq.urp

age author description
2008-10-21 Adam Chlipala Binops; equality tested on int; lame 404 substitute