projects / coq-categories.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bce224f) | patch
fix miscompilation errors introduced by recent changes
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 5 Apr 2011 02:55:10 +0000 (02:55 +0000)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 5 Apr 2011 02:55:10 +0000 (02:55 +0000)
commit45449bae8b3348278301e268aabb2a1c3dd8d0cb
treedb942481ba5bdfd8391051464d23dde9656d39betree | snapshot
parentbce224f0a9ddd24cfe16a710b4f7d5be64b32929commit | diff
fix miscompilation errors introduced by recent changes
src/FreydCategories.v diff | blob | history
src/PreMonoidalCenter.v diff | blob | history
formalization of basic category theory in Coq