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)
commit9298629f49c4ebcad88c48d075605b20d50044bc
treef26a7d0824aba9e69522c014226a073ae94c6158
parent1e8391745f2002df4c72712820d2549203792bba
Cleanup
FreeGroups.agda