log tests/eq.ur

age author description
2008-10-21 Adam Chlipala Monoize eq_[bool|string]
2008-10-21 Adam Chlipala Binops; equality tested on int; lame 404 substitute
2008-08-31 Adam Chlipala Add 'ne' to 'eq' type class
2008-08-31 Adam Chlipala 'eq' type class