projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Wed, 6 Apr 2011 04:48:06 +0000 (04:48 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Wed, 6 Apr 2011 04:48:06 +0000 (04:48 +0000) | ||
| commit | 2403342ad32f12dd56a82ce575dd2d35d91f545a | |
| tree | f9f7229be4dad7eaf6ad35f2dad29106664bf9c7 | tree | snapshot |
| parent | 9acb9b7b4ed12543e54c39c82d7b0f34d04d0207 | commit | diff |