projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 9 Apr 2011 02:44:57 +0000 (02:44 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 9 Apr 2011 03:50:23 +0000 (03:50 +0000) | ||
| commit | 105a7461c7531f8b4e49f34e7242021ac6bb5ebe | |
| tree | 3c54582ff50c0718c0a20b7e5baf618361c2b0e1 | tree | snapshot |
| parent | 758d0e02ca239fb9d9de3810a27290c2d5159294 | commit | diff |
| src/Subcategories_ch7_1.v | diff | blob | history |