author | Joachim Breitner <mail@joachim-breitner.de> | |
Mon, 7 May 2012 13:23:34 +0000 (13:23 +0000) | ||
committer | Joachim Breitner <mail@joachim-breitner.de> | |
Mon, 7 May 2012 13:23:34 +0000 (13:23 +0000) | ||
commit | 1e8391745f2002df4c72712820d2549203792bba | |
tree | 54308735e910ccffc168c0737d3522c91044038c | tree | snapshot |
FreeGroups.agda | [new file with mode: 0644] | blob |
Generators.agda | [new file with mode: 0644] | blob |
NormalForm.agda | [new file with mode: 0644] | blob |