Generate all the files#4

clarus merged 6 commits intomainformal-land/coq-of-python:mainfrom

guillaume-claret@compile-all-the-filesformal-land/coq-of-python:guillaume-claret@compile-all-the-filesCopy head branch name to clipboard