aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/decl_kinds.mli
Commit message (Expand)AuthorAge
* Ajout propriété svn:keywords aux nouveaux fichiers du commit 10840Gravatar herbelin2008-04-24
* Prise en compte des coercions dans les clauses "with" même si le typeGravatar herbelin2008-04-23