SetoidReasoning is no longer needed
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 5 Jan 2015 15:45:52 +0000 (16:45 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 5 Jan 2015 15:45:52 +0000 (16:45 +0100)
commit884870669c1271742e6f369cc5f2e9af5811e124
treeff5f2af9b8f7cead106fc6444fee66c9bdb5c2f7
parentc5f982320394b5083e4ebca921c1cd5e88df9b14
SetoidReasoning is no longer needed
Bidir.agda