coq/test-suite/misc/quick-include, branch master The formal proof system Add test for Include in -quick mode 2018-11-16T14:09:02+00:00 Gaëtan Gilbert 2018-11-14T12:02:06+00:00 798e84b3313bd1e4b0f4937f31d4c570d2fa737f