projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Tue, 29 Mar 2011 11:37:57 +0000 (04:37 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Tue, 29 Mar 2011 11:37:57 +0000 (04:37 -0700) | ||
| commit | 00b060e4854e5a1ba01746be44ac9deb49d7fbf5 | |
| tree | 84347dc2d3f5304b59e65f7b575dbad507c5d974 | tree | snapshot |
| parent | 18d94149267db9cf2e8e93977c5506278309173d | commit | diff |
| src/Adjoints_ch9.v | diff | blob | history | |
| src/Main.v | diff | blob | history | |
| src/RepresentableStructure_ch7_2.v | diff | blob | history | |
| src/Yoneda_ch8.v | diff | blob | history |