projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 00:21:41 +0000 (17:21 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 00:21:41 +0000 (17:21 -0700) | ||
| commit | e16cc65abd44b09ad0193ff59dd4cd24e4840d0d | |
| tree | a1c168dfb7dcc32b42bab98b9269147cc0f8b16f | tree | snapshot |
| parent | 786b693ac8d5f2081db75b49bba838a6cff7e2f6 | commit | diff |
| src/ReificationsIsomorphicToGeneralizedArrows.v | diff | blob | history |