projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@gentzen.megacz.com> | |
| Thu, 26 May 2011 13:50:42 +0000 (06:50 -0700) | ||
| committer | Adam Megacz <megacz@gentzen.megacz.com> | |
| Thu, 26 May 2011 13:50:42 +0000 (06:50 -0700) | ||
| commit | 88b7f0bfe8a73d221ea3d74a866c4be39ba7ffd8 | |
| tree | 0f7700516853bdd43fcb2e6aa6c8327fabf60c2d | tree | snapshot |
| parent | b83e779e742413ca84df565263dafbdf9f79920a | commit | diff |
| parent | f6ee1ec88c9b94c62eccbd4119082ae11073a886 | commit | diff |