projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Fri, 1 Apr 2011 01:28:38 +0000 (18:28 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Fri, 1 Apr 2011 01:28:38 +0000 (18:28 -0700) | ||
| commit | cef6be4de10acb4593acd67c0baa254f261971a1 | |
| tree | d06b897caa64f8ba00e5a945e7f96fde9ae1326f | tree | snapshot |
| parent | 6ef9f270b138fc7aab48013d55a8192ff022c0f1 | commit | diff |
| src/BijectionLemma.v | [new file with mode: 0644] | blob |
| src/ReificationsIsomorphicToGeneralizedArrows.v | diff | blob | history |