"Francois.Pottier@inria.fr" did not exist on "20170418"
-
BESSON Frederic authored- remove Stdlib.compare - remove dependency with Coqlib
BESSON Frederic authored- remove Stdlib.compare - remove dependency with Coqlib
Loading
- remove Stdlib.compare - remove dependency with Coqlib
- remove Stdlib.compare - remove dependency with Coqlib