projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 16 Apr 2011 22:14:58 +0000 (15:14 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 16 Apr 2011 22:14:58 +0000 (15:14 -0700) | ||
| commit | d69d4c8660d8f1f3ea13868c2e2d1c7f8a4d68f7 | |
| tree | 0827e2e53bd22456142eea543ca5bf303f953f8a | tree | snapshot |
| parent | b18f84ae40af08b3df0214593f4e4eb0665cdf7d | commit | diff |
| src/ReificationsIsomorphicToGeneralizedArrows.v | diff | blob | history |