replace rewrite with cong where feasible
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 7 Feb 2014 17:32:54 +0000 (18:32 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 7 Feb 2014 17:32:54 +0000 (18:32 +0100)
commitc9ddcf0abbb2e82eafc6dc24872244374c4f43c2
tree5b43684abd33d60586a5e2827684d51026b9611b
parent95609983219f14e8f4c0758cd0688b984d8b1455
replace rewrite with cong where feasible
Bidir.agda
Generic.agda