projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Sat, 2 Apr 2011 20:17:18 +0000 (13:17 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Sat, 2 Apr 2011 20:17:18 +0000 (13:17 -0700) | ||
| commit | 84949606d80f30b1a7ada10f46ae13bdf17cacc2 | |
| tree | 6749c8b0a2526203e4bcb04c40df7f0b76cc5da5 | tree | snapshot |
| parent | a0b31d2cc2b6cf7184efe4ff01ad682749f779ad | commit | diff |
| src/Isomorphisms_ch1_5.v | diff | blob | history |