author | Joachim Breitner <mail@joachim-breitner.de> | |
Mon, 7 May 2012 14:08:07 +0000 (14:08 +0000) | ||
committer | Joachim Breitner <mail@joachim-breitner.de> | |
Mon, 7 May 2012 14:08:07 +0000 (14:08 +0000) | ||
commit | 9298629f49c4ebcad88c48d075605b20d50044bc | |
tree | f26a7d0824aba9e69522c014226a073ae94c6158 | tree | snapshot |
parent | 1e8391745f2002df4c72712820d2549203792bba | commit | diff |
FreeGroups.agda | diff | blob | history |