projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 9 Apr 2011 08:52:38 +0000 (08:52 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 9 Apr 2011 08:52:38 +0000 (08:52 +0000) | ||
| commit | 57dfee583c84915cb6b3aadfa1dba692681499b3 | |
| tree | ec7c09013e93237ecabcee3d9f4614bae712e0fd | tree | snapshot |
| parent | 448af7a5ce5ab0520c60dd11d43374e6b5d32552 | commit | diff |
| src/Isomorphisms_ch1_5.v | diff | blob | history |