projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 10 Apr 2011 03:55:48 +0000 (03:55 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 10 Apr 2011 03:55:48 +0000 (03:55 +0000) | ||
| commit | 1104780d775bf36ff9f44ab287c22604ab47f0b5 | |
| tree | 16e3a3134e28a363923cde3bd2a8886a1b97b6ed | tree | snapshot |
| parent | 658181bed516646957267b055341d9d4b197ed0d | commit | diff |
| src/Subcategories_ch7_1.v | diff | blob | history |