projects / darcs-mirror-agda-free-groups.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
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
tree54308735e910ccffc168c0737d3522c91044038ctree | snapshot
Initial check-in
FreeGroups.agda [new file with mode: 0644] blob
Generators.agda [new file with mode: 0644] blob
NormalForm.agda [new file with mode: 0644] blob
Mirror of http://darcs.nomeata.de/agda-free-groups