projects / coq-hetmet.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Sun, 10 Apr 2011 19:51:27 +0000 (19:51 +0000) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Sun, 10 Apr 2011 19:51:27 +0000 (19:51 +0000) | ||
| commit | 6c953e094065d487e85635df7fd5389271e4a279 | |
| tree | dbcdb6479c6f33af2d2f67b2edb442b3a9152bc3 | tree | snapshot |
| parent | 916f33924e493c9be8290d0aadc35cf85d6899af | commit | diff |
| src/GeneralizedArrowFromReification.v | diff | blob | history |