projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Fri, 25 Mar 2011 18:18:51 +0000 (11:18 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Fri, 25 Mar 2011 18:18:51 +0000 (11:18 -0700) | ||
| commit | 77fb38900253b1bc9c4552d474f8564fda398d09 | |
| tree | 3ed6ba8cfb8d476b7aea622c8f3c7504f01dc0af | tree | snapshot |
| parent | 9b27f2c7b66e583a886f8c7a802512dc402b3f11 | commit | diff |
| src/MonoidalCategories_ch7_8.v | diff | blob | history |