aboutsummaryrefslogtreecommitdiff
path: root/theories/Lists/PolyListSyntax.v
AgeCommit message (Expand)Author
2002-02-14option -dump-glob pour coqdocfilliatr
2001-04-19Mise de (*i autour CVS infomohring
2001-03-15entetesfilliatr
2000-11-13Retour a la version 1.1herbelin
2000-11-07Modification de la table des tactic Definitions pour eviter l'ecrituremohring
2000-06-21theories/Listsfilliatr