coq/tools/update-require, branch master The formal proof system Add tool for fully qualifying Require statements. 2014-04-06T10:13:37+00:00 Guillaume Melquiond 2014-04-06T09:05:30+00:00 3ace2a027b72ab6328cf844281ad90bfe383f0da