projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 5 Apr 2011 06:31:50 +0000 (06:31 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 5 Apr 2011 06:31:50 +0000 (06:31 +0000) | ||
| commit | 37fcc257b54bd8d13ad27f9d80d4a0298429c7ce | |
| tree | 38f16ec1694dc22b98de7086f769e10169afc761 | tree | snapshot |
| parent | 45449bae8b3348278301e268aabb2a1c3dd8d0cb | commit | diff |
| src/Arrows.v | [deleted file] | blob | history |