projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Thu, 2 Jun 2011 02:02:59 +0000 (19:02 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Thu, 2 Jun 2011 02:02:59 +0000 (19:02 -0700) | ||
| commit | 3282a2b78028238987a5a49e59d8e8d495aea0e1 | |
| tree | bdef6ef39a1c94d720c00cafd5a53bb062f7c728 | tree | snapshot |
| parent | d5f12624745edf327b49e515a1ebb5aeb265b70c | commit | diff |