lang:coq:mise_a_jour
Ceci est une ancienne révision du document !
NArith, PArith, ZArith
Voir commit b1162463d577baf450c3f33ab880e7d9afe21148. Les fonctions commençant par N, P ou 'Z ont été déplacées dans leur propre namespace''.
Avant :
Ncompare
Après :
N.compare
lang/coq/mise_a_jour.1584208028.txt.gz · Dernière modification : 2020/03/14 18:47 de root