projects / darcs-mirror-agda-free-groups.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
darcs-mirror-agda-free-groups.git
8 years agoShow Universal Property master
commit | commitdiff | tree
Joachim Breitner [Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000)]
Show Universal Property

8 years agoCleanup
commit | commitdiff | tree
Joachim Breitner [Mon, 7 May 2012 14:08:07 +0000 (14:08 +0000)]
Cleanup

8 years agoInitial check-in
commit | commitdiff | tree
Joachim Breitner [Mon, 7 May 2012 13:23:34 +0000 (13:23 +0000)]
Initial check-in

Mirror of http://darcs.nomeata.de/agda-free-groups