projects / coq-categories.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00b060e) | patch
comment out unused portion of RepresentableStructure_ch7_2
authorAdam Megacz <adam@megacz.com>
Tue, 29 Mar 2011 13:34:59 +0000 (06:34 -0700)
committerAdam Megacz <adam@megacz.com>
Tue, 29 Mar 2011 13:34:59 +0000 (06:34 -0700)
commit95fb933d1021113abadc4a71cc19d19ea2fd4781
treea489b915c1e29b821c44b9119825c45150f28185tree | snapshot
parent00b060e4854e5a1ba01746be44ac9deb49d7fbf5commit | diff
comment out unused portion of RepresentableStructure_ch7_2
src/RepresentableStructure_ch7_2.v diff | blob | history
formalization of basic category theory in Coq