projects / darcs-mirror-agda-free-groups.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9298629) | patch
Show Universal Property master
authorJoachim Breitner <mail@joachim-breitner.de>
Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000)
commit01a207a19d31655ad07a975bc91e1a1b80be0fa8
treed92ad2983e865c069e21c1938616b8df0f386883tree | snapshot
parent9298629f49c4ebcad88c48d075605b20d50044bccommit | diff
Show Universal Property
FreeGroups.agda diff | blob | history
Generators.agda diff | blob | history
GroupHom.agda [new file with mode: 0644] blob
UnivProp.agda [new file with mode: 0644] blob
Mirror of http://darcs.nomeata.de/agda-free-groups