Revision 46ab86f6c77228f1abe5140ee592fc32b77959d9

Coq2Scala

Changes from beginning to 46ab86f6c77228f1abe5140ee592fc32b77959d9

#Coq2Scala