projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Mon, 28 Mar 2011 00:23:40 +0000 (17:23 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Mon, 28 Mar 2011 00:23:40 +0000 (17:23 -0700) | ||
| commit | 18d94149267db9cf2e8e93977c5506278309173d | |
| tree | 143e984c2a43a5a533a95b6714f8e5ae76b09644 | tree | snapshot |
| parent | 1ab46a0e579ec1964ae0ab3cadb64f6a77db8d30 | commit | diff |
| src/MonoidalCategories_ch7_8.v | diff | blob | history |