projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Fri, 25 Mar 2011 16:59:25 +0000 (09:59 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Fri, 25 Mar 2011 16:59:25 +0000 (09:59 -0700) | ||
| commit | 9b27f2c7b66e583a886f8c7a802512dc402b3f11 | |
| tree | 2d8df9bcf49897de7ed24287709fd776b795b50b | tree | snapshot |
| parent | 94c04c97042ab15b3ec62eba87ccccccd7162ce0 | commit | diff |
| src/EquivalentCategories_ch7_8.v | diff | blob | history |