aboutsummaryrefslogtreecommitdiff
path: root/theories/Sets
AgeCommit message (Expand)Author
2000-11-28Elimination du 'delahaye
2000-10-30Suppression d'Intuition (trop intelligent?)delahaye
2000-10-12Parenthesesherbelin
2000-10-06Parenthèses pour les tactiquesherbelin
2000-07-01Séparation des caractères spéciaux par un blancherbelin
2000-06-21theories/Setsfilliatr