projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 5 Apr 2011 06:33:20 +0000 (06:33 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 5 Apr 2011 06:33:20 +0000 (06:33 +0000) | ||
| commit | 5f3bdb7947de02d8d60f1af77c999a3c80f7dbba | |
| tree | 68d39fa322559bf8c183bc4569144c275da17e7a | tree | snapshot |
| parent | e6eee3c9787855479899acb82cb65f9cdd0259c6 | commit | diff |
| src/PreMonoidalCategories.v | diff | blob | history |