aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/retroknowledge.ml
Commit message (Expand)AuthorAge
* Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaientGravatar herbelin2008-04-01
* ajout de head0 et tail0 en natifGravatar bgregoir2007-06-20
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11