reorganize HaskProof files
[coq-hetmet.git] / src / HaskFlattener.v
2011-04-30 Adam Megaczreorganize HaskProof files