projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@gentzen.megacz.com> | |
| Mon, 16 May 2011 13:49:39 +0000 (06:49 -0700) | ||
| committer | Adam Megacz <megacz@gentzen.megacz.com> | |
| Mon, 16 May 2011 13:49:39 +0000 (06:49 -0700) | ||
| commit | 372d5554eeabc9883085db1872f295612167351b | |
| tree | acf92b17ae3c85468eb6d7056498824944eab8c1 | tree | snapshot |
| parent | bebffa435dbc5afd126f6972fbf220977455854d | commit | diff |
| parent | 8344f2f8697a9582b3362c86475c5f90ca420c28 | commit | diff |