theorem-2 works with EqR rather than SetoidReasoning again
[~helmut/bidiragda.git] / .gitignore
2012-01-19 Helmut Grohneadded .gitignore