Cleanup
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 7 May 2012 14:08:07 +0000 (14:08 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 7 May 2012 14:08:07 +0000 (14:08 +0000)
FreeGroups.agda

index 83363d1..6dce2b5 100644 (file)
@@ -1,5 +1,4 @@
 open import Relation.Binary
-open import Level
 
 module FreeGroups {c ℓ} (S : Setoid c ℓ) where