author | Joachim Breitner <mail@joachim-breitner.de> | |
Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000) | ||
committer | Joachim Breitner <mail@joachim-breitner.de> | |
Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000) | ||
commit | 01a207a19d31655ad07a975bc91e1a1b80be0fa8 | |
tree | d92ad2983e865c069e21c1938616b8df0f386883 | tree | snapshot |
parent | 9298629f49c4ebcad88c48d075605b20d50044bc | commit | diff |
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 |