Add coq-notation hom to replace Definition with Notation in generated Coq#120

palmskog merged 3 commits intomasterott-lang/ott:masterfrom

coq-notationott-lang/ott:coq-notationCopy head branch name to clipboard