projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Tue, 29 Mar 2011 13:35:38 +0000 (06:35 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Tue, 29 Mar 2011 13:35:38 +0000 (06:35 -0700) | ||
| commit | a0b31d2cc2b6cf7184efe4ff01ad682749f779ad | |
| tree | 9a8057389f496934188b6fc82572e92af843c80e | tree | snapshot |
| parent | 56e6abe14b2cd219b34917d8d5084074394b0839 | commit | diff |
| src/Subcategories_ch7_1.v | diff | blob | history |