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