aboutsummaryrefslogtreecommitdiff
path: root/theories
AgeCommit message (Expand)Author
2003-01-30Pb de parenthèse dans "Check (S (plus O O))"herbelin
2003-01-28MAJ pour Regdesmettr
2003-01-22Documentation du contenu de REALSdesmettr
2003-01-22Modifications dans SeqPropdesmettr
2003-01-22Renommages dans Rtrigo_defdesmettr
2003-01-22Commentairesdesmettr
2003-01-22Renommages nombreuxdesmettr
2003-01-22Commentairesdesmettr
2003-01-22Renommage f_pos -> IVT (Intermediate Value Theoremdesmettr
2003-01-22Suppression d'un Import R_scope probablement oubliedesmettr
2003-01-22Commentairesdesmettr
2003-01-22Renommages dans RListdesmettr
2003-01-22MAJ pour renommage Rcompletdesmettr
2003-01-22Renommages dans Rcompletedesmettr
2003-01-22Renommage Rcomplet.v -> Rcomplete.vdesmettr
2003-01-22Suppression de lemmes superflusdesmettr
2003-01-22Commentairesdesmettr
2003-01-22Renommages dans PartSumdesmettr
2003-01-22Bug precedenceherbelin
2003-01-21Adaptation à la nouvelle sémantique plus uniforme de "Match term"herbelin
2003-01-21Renommage dans MVTdesmettr
2003-01-21MAJ dans Exp_propdesmettr
2003-01-21Renommage dans Binomial.vdesmettr
2003-01-21Binome.v -> Binomial.vdesmettr
2003-01-21MAJ ArithPropdesmettr
2003-01-21Renommage dans AltSeries.vdesmettr
2003-01-21Renommage dans Alembert.vdesmettr
2003-01-21Quelques améliorationsdesmettr
2003-01-21Suppression de INR2 / Conséquence logique de la nouvelle représentation des...desmettr
2003-01-21Quelques optimisations...desmettr
2003-01-20Cgt définition de platdesmettr
2003-01-20Amélioration de DiscrRdesmettr
2003-01-20Utilisation de 'Recursive' pour les tactiques récursivesherbelin
2003-01-20Utilisation de 'Recursive' pour les tactiques récursivesherbelin
2003-01-19Clear sur hypothese non definieherbelin
2003-01-17Optimisations pour Sup et RComputedesmettr
2003-01-16Ajout de RComputedesmettr
2003-01-16Ajout de la tactique Supdesmettr
2003-01-16renommage de TAF.v en MVT.vdesmettr
2003-01-16Correction d'un petit bug dans Sup0desmettr
2003-01-16Renommage de RealsB en Rbasedesmettr
2003-01-16Renommage de Rbase.v en RIneq.vdesmettr
2003-01-15Nouvelle interprétation des nombres réelsdesmettr
2003-01-06bit vectorsfilliatr
2002-12-28Re-installation nombres dans les motifs sur Zherbelin
2002-12-15Une entrée spéciale "annot" pour les piquantsherbelin
2002-12-15Ajout syntaxe '>'herbelin
2002-12-15Ajout syntaxe '>'herbelin
2002-12-15Pas d'associativite pour =_Dherbelin
2002-12-10Compatibilite times1 (suite)herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 05:50:35 +0000