projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 5 Apr 2011 06:32:04 +0000 (06:32 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 5 Apr 2011 06:32:04 +0000 (06:32 +0000) | ||
| commit | 901d831e552ff57ba88ba12784c6032372a6f601 | |
| tree | 4de01ddf2d712b2d81429173a1bc09e7f5020c12 | tree | snapshot |
| parent | 37fcc257b54bd8d13ad27f9d80d4a0298429c7ce | commit | diff |
| src/Subcategories_ch7_1.v | diff | blob | history |