projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 11 Apr 2011 03:15:21 +0000 (03:15 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 11 Apr 2011 03:15:21 +0000 (03:15 +0000) | ||
| commit | 20641452e40570b4bfc9429ca57b0cffca6eccfb | |
| tree | 00d9dd8337b2b04d549eab4412fcb1cabc1b4bd8 | tree | snapshot |
| parent | f494aec0e2a8f5ccb7a5f560dd4f8a0b302feb40 | commit | diff |
| src/Subcategories_ch7_1.v | diff | blob | history |