projects / coq-hetmet.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Sun, 11 May 2014 00:46:41 +0000 (17:46 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Sun, 11 May 2014 00:46:41 +0000 (17:46 -0700) | ||
| commit | 5929a28895c9e8a12f3b60abf024a455ebe11e4c | |
| tree | 0827e2e53bd22456142eea543ca5bf303f953f8a | tree | snapshot |
| parent | b18f84ae40af08b3df0214593f4e4eb0665cdf7d | commit | diff |
| src/ReificationsIsomorphicToGeneralizedArrows.v | diff | blob | history |