projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 00:22:10 +0000 (17:22 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 00:22:10 +0000 (17:22 -0700) | ||
| commit | de9b7cba83ba98f30da7999cfe5ff0e4c1058e42 | |
| tree | d68d2def35e3abf525b674bf887ec44a08e1603f | tree | snapshot |
| parent | e16cc65abd44b09ad0193ff59dd4cd24e4840d0d | commit | diff |
| src/WeakFunctorCategory.v | diff | blob | history |