Initial check-in
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 7 May 2012 13:23:34 +0000 (13:23 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 7 May 2012 13:23:34 +0000 (13:23 +0000)
commit1e8391745f2002df4c72712820d2549203792bba
tree54308735e910ccffc168c0737d3522c91044038c
Initial check-in
FreeGroups.agda [new file with mode: 0644]
Generators.agda [new file with mode: 0644]
NormalForm.agda [new file with mode: 0644]