projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@gentzen.megacz.com> | |
| Mon, 30 May 2011 14:11:57 +0000 (07:11 -0700) | ||
| committer | Adam Megacz <megacz@gentzen.megacz.com> | |
| Mon, 30 May 2011 14:11:57 +0000 (07:11 -0700) | ||
| commit | 4650f4f93b6ebb7c3aca938ecb67ec1d4fb8a7fe | |
| tree | ff43cbc7a46f3de34bd3d20b186a0392a2123582 | tree | snapshot |
| parent | 8064e50e47f40228631f8a96ba28cbfb570c76ff | commit | diff |
| parent | b59a8ad4356f9ab4e3a7f2b005a05d0f340ac018 | commit | diff |