2011-04-11 | Adam Megacz | unbreak lots more stuff | blob | commitdiff |
2011-04-04 | Adam Megacz | update to account for coq-categories changes | blob | commitdiff | diff to current |
2011-04-02 | Adam Megacz | split HaskProofCategory into two files | blob | commitdiff | diff to current |