theorem-2 works with EqR rather than SetoidReasoning again
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 13:58:01 +0000 (14:58 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 24 Feb 2014 13:58:01 +0000 (14:58 +0100)
commit54c29d2ce4d4e8a33d77bc787b2c5132f2089835
tree2720ad09a13963676ff6857c433b5768c97c1418
parent6958d1c19cda39564508e0638648eacf32c71509
theorem-2 works with EqR rather than SetoidReasoning again
Bidir.agda