descriptionMirror of http://darcs.nomeata.de/agda-free-groups
ownernomeata
last changeTue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000)
shortlog
2012-09-11 Joachim BreitnerShow Universal Property master
2012-05-07 Joachim BreitnerCleanup
2012-05-07 Joachim BreitnerInitial check-in
heads
6 years ago master