aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-tac.tex
AgeCommit message (Expand)Author
2002-09-16Correction typo d'un but Tautoherbelin
2002-09-16documentation variante Subst (sans argument)filliatr
2002-09-12Substfilliatr
2002-09-09MAJ syntaxe 'Hint Rewrite'herbelin
2002-05-16MAJ V7.3herbelin
2002-04-12doc Intuition et Tautocourant
2002-04-11Ajout Rename et Poseherbelin
2002-03-01Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazyherbelin
2001-12-23Ajout ClearBody et Assert H:=therbelin
2001-10-15Ajout fonctionnalit� Intros Until de Injection, Discriminate et Simplify_eqherbelin
2001-10-09Adding documentation for a variant of Inversion, where a numeric argument,bertot
2001-10-02MAJ Intro + diversherbelin
2001-09-21Diverses MAJ V7.1 autour des qualidherbelin
2001-09-14Documentation NewInduction, NewDestruct, LetTac, Assertherbelin
2001-04-24Fourier, Reals,...mayero
2001-04-23Ajout d'une ref pour Fielddelahaye
2001-04-23Ajout de Fielddelahaye
2001-04-19Changement de Zarith en ZArithmohring
2001-04-12Intros Pattern wildcardmohring
2001-04-10MAJ decomposeherbelin
2001-04-08Revision Tauto, AutoRewrite + Ajout de Ltacdelahaye
2001-04-06mise a jour V7filliatr
2001-04-06mise a jour V7filliatr
2000-12-12Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 04:44:48 +0000