reorganize equality imports
authorHelmut Grohne <helmut@subdivi.de>
Sun, 25 Nov 2018 09:35:23 +0000 (10:35 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 25 Nov 2018 09:35:23 +0000 (10:35 +0100)
commitc835e655a05c73f7dd2dc46c652be3d43e91a4b7
tree3089ac9a52dfd62e931926cb5900d9b266f0f298
parent04e312472d4737815cf6c37258b547673faa0b91
reorganize equality imports

Since we are working with multiple setoids now, it makes more sense to
qualify their members. Follow the "as P" pattern from the standard
library. Also stop importing those symbols from Relation.Binary.Core as
later agda-stdlib versions will move them away. Rather than EqSetoid or
PropEq, use P.setoid consistently.
BFFPlug.agda
Bidir.agda
CheckInsert.agda
Examples.agda
FinMap.agda
Generic.agda
LiftGet.agda
Precond.agda
Structures.agda