projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 11 Apr 2011 04:26:55 +0000 (04:26 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 11 Apr 2011 04:26:55 +0000 (04:26 +0000) | ||
| commit | 0ecd73c172f67634fa956fb52b332e6effb5a04d | |
| tree | 1cc6c8b9dce5513517440050f834627af77d6e1e | tree | snapshot |
| parent | fd14c25703d15bd78088c67ff3d417d435b6b136 | commit | diff |
| src/MonoidalCategories_ch7_8.v | diff | blob | history |