projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@gentzen.megacz.com> | |
| Tue, 31 May 2011 14:14:25 +0000 (07:14 -0700) | ||
| committer | Adam Megacz <megacz@gentzen.megacz.com> | |
| Tue, 31 May 2011 14:14:25 +0000 (07:14 -0700) | ||
| commit | edb0c8776c642011e4e3c56d3db10bf2161ac972 | |
| tree | 2b4808a4b6ef32e95ebc6613ce66edafb3c4053d | tree | snapshot |
| parent | c07fa5072abe97b2a458a16cdae4299eef07746b | commit | diff |
| parent | 58275f561112bb1660eda14d535b2601188c3842 | commit | diff |