projects / coq-categories.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Sat, 26 Mar 2011 08:39:02 +0000 (01:39 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Sat, 26 Mar 2011 08:39:02 +0000 (01:39 -0700) | ||
| commit | ff268c0e8d10a75c5f82b0ae69feda0ec36faa4b | |
| tree | 3f19af937aa1f843cb76c4bbb89e566fbacc2d78 | tree | snapshot |
| parent | 107e8eb4dc6e893c3dd93535c5343eba204659a8 | commit | diff |
| src/RepresentableStructure_ch7_2.v | diff | blob | history |