projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@gentzen.megacz.com> | |
| Sat, 28 May 2011 14:15:59 +0000 (07:15 -0700) | ||
| committer | Adam Megacz <megacz@gentzen.megacz.com> | |
| Sat, 28 May 2011 14:15:59 +0000 (07:15 -0700) | ||
| commit | 649b9b9ce6db92cc131a1c048c1d9c8719180c58 | |
| tree | 227f0b3518e5330400786cefbdc1928f6b6d21f8 | tree | snapshot |
| parent | 57e387249da84dac0f1c5a9411e3900831ce2d81 | commit | diff |
| parent | ada4d4ef74dbd3ca46b4f80eec68e10b903d75f4 | commit | diff |