projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Fri, 25 Mar 2011 23:16:19 +0000 (16:16 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Fri, 25 Mar 2011 23:16:19 +0000 (16:16 -0700) | ||
| commit | a570e264518d2509e608f830897d9908b23eb653 | |
| tree | bea89d828789fcf26373408438642e18ad01233e | tree | snapshot |
| parent | 77fb38900253b1bc9c4552d474f8564fda398d09 | commit | diff |
| src/MonoidalCategories_ch7_8.v | diff | blob | history |