aboutsummaryrefslogtreecommitdiff
path: root/theories/Arith/Euclid.v
AgeCommit message (Expand)Author
2002-04-17Uniformisation (Qed/Save et Implicits Arguments)herbelin
2001-04-19Remplacement Euclid_def Euclid_proof par Euclidmohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 13:01:41 +0000