projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 3 Apr 2011 04:57:51 +0000 (04:57 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 3 Apr 2011 04:57:51 +0000 (04:57 +0000) | ||
| commit | 27ffdd2265eb1c15acc62970f49d25a07bcadb05 | |
| tree | 534cc8fa48ef6b921b2ad2971737fdc646415e91 | tree | snapshot |
| parent | b0262af94b62376527556d79b10c4f1de29a9565 | commit | diff |