2011-04-29 | Adam Megacz | remove many [[admit]]s from HaskProofFlattener.v | blob | commitdiff |
2011-04-11 | Adam Megacz | unbreak lots more stuff | blob | commitdiff | diff to current |
2011-04-10 | Adam Megacz | fill in lots of missing proofs | blob | commitdiff | diff to current |
2011-04-10 | Adam Megacz | update to new coq-categories, base ND_Relation on inert... | blob | commitdiff | diff to current |
2011-04-04 | Adam Megacz | update to account for coq-categories changes | blob | commitdiff | diff to current |
2011-03-29 | Adam Megacz | formatting fixes | blob | commitdiff | diff to current |
2011-03-29 | Adam Megacz | reorganize flattening code | blob | commitdiff | diff to current |