projects / darcs-mirror-agda-free-groups.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e83917) | patch
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
treef26a7d0824aba9e69522c014226a073ae94c6158tree | snapshot
parent1e8391745f2002df4c72712820d2549203792bbacommit | diff
Cleanup
FreeGroups.agda diff | blob | history
Mirror of http://darcs.nomeata.de/agda-free-groups