projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Fri, 25 Mar 2011 23:16:27 +0000 (16:16 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Fri, 25 Mar 2011 23:16:27 +0000 (16:16 -0700) | ||
| commit | 4a45ee99fb19018cf30a34e361816c8ba960d638 | |
| tree | 5bf12e9c49b8dd9a88bb3697c24f6ad76f10f5d0 | tree | snapshot |
| parent | a570e264518d2509e608f830897d9908b23eb653 | commit | diff |
| src/FreydCategories.v | diff | blob | history |