projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Sun, 27 Mar 2011 02:13:15 +0000 (19:13 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Sun, 27 Mar 2011 02:13:15 +0000 (19:13 -0700) | ||
| commit | cc0b4696c2cfc23bdff6ded347478510ccf014c9 | |
| tree | 143bea0e514193373b105646d7b4d9722407262b | tree | snapshot |
| parent | ff268c0e8d10a75c5f82b0ae69feda0ec36faa4b | commit | diff |
| src/MonoidalCategories_ch7_8.v | diff | blob | history |