GitHub <noreply@github.com> committed R9452:6094ee76a6dd: Merge pull request #4 from lampepfl/rewrite-coq-intro (authored by • liufengyun).