aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/decls.ml
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