remove unused imports
[~helmut/bidiragda.git] / FreeTheorems.agda
index 2181163..d4eb174 100644 (file)
@@ -11,8 +11,6 @@ open import Relation.Binary.PropositionalEquality using (_≗_ ; cong) renaming
 open import Relation.Binary using (Setoid)
 open Injection using (to)
 
-open import Generic using (≡-to-Π)
-
 import GetTypes
 
 module ListList where