2011-04-03 | Adam Megacz | Makefile: insist on native-compiled Coq |
commit | commitdiff | tree |
2011-04-03 | Adam Megacz | add README |
commit | commitdiff | tree |
2011-03-11 | Adam Megacz | initial checkin of coq-categories library |
commit | commitdiff | tree |