Being more precise and faithful about the origin of the file reporting about the prehistory of Coq.
Being more precise and faithful about the origin of the file reporting
about the prehistory of Coq.

letouzey/coq-wip,gares/coq,JasonGross/coq,silene/coq,Ptival/coq,ejgallego/coq,ppedrot/coq,Zimmi48/coq,amintimany/coq,JasonGross/coq,william-lawvere/coq,ejgallego/coq,JasonGross/coq,coq/coq,Zimmi48/coq,Lionel-Rieg/coq,SkySkimmer/coq,Matafou/coq,maximedenes/coq,maximedenes/coq,Lionel-Rieg/coq,SkySkimmer/coq,gares/coq,herbelin/github-coq,gares/coq,SkySkimmer/coq,william-lawvere/coq,SkySkimmer/coq,maximedenes/coq,coq/coq,ppedrot/coq,herbelin/github-coq,silene/coq,JasonGross/coq,Matafou/coq,ejgallego/coq,Ptival/coq,mattam82/coq,silene/coq,Matafou/coq,herbelin/github-coq,gares/coq,Ptival/coq,letouzey/coq-wip,Lionel-Rieg/coq,maximedenes/coq,ppedrot/coq,ppedrot/coq,maximedenes/coq,Zimmi48/coq,william-lawvere/coq,amintimany/coq,amintimany/coq,ppedrot/coq,mattam82/coq,ejgallego/coq,Zimmi48/coq,coq/coq,letouzey/coq-wip,letouzey/coq-wip,mattam82/coq,gares/coq,letouzey/coq-wip,coq/coq