remove unused imports
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 4 Feb 2014 10:12:42 +0000 (11:12 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 4 Feb 2014 10:12:42 +0000 (11:12 +0100)
commitce4bbcc0c06b088a10881fcd66da5422571e7995
treec87b21f7ed50c335dd093700050ce94b134d44fb
parent20c176d383e59a0345f7425c5f14679906159a59
remove unused imports

Most of the became unused by using the convenience functions introduced
in the parent commit.
BFF.agda
Bidir.agda
FreeTheorems.agda
Precond.agda