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 |