projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 5 Apr 2011 06:32:20 +0000 (06:32 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 5 Apr 2011 06:32:20 +0000 (06:32 +0000) | ||
| commit | add4d471e2d188c62bddbdaa21380ee5904bdedc | |
| tree | 50641c4d678f55d9c68176ad8e05c15a2145f9ee | tree | snapshot |
| parent | 901d831e552ff57ba88ba12784c6032372a6f601 | commit | diff |
| src/SectionRetract_ch2_4.v | diff | blob | history |