aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-06-23merge_bis et debug joinfilliatr
2003-06-22Ground updatecorbinea
2003-06-21Added a test for Functional Induction.courtieu
2003-06-21majfilliatr
2003-06-20Ground updatecorbinea
2003-06-20Bug compilationherbelin
2003-06-20removfilliatr
2003-06-20mergefilliatr
2003-06-20remove_min, remove_maxfilliatr
2003-06-20Ground Update.corbinea
2003-06-20majfilliatr
2003-06-19Ajout 'Symmetry in Hyp'herbelin
2003-06-19Ajout 'Symmetry in Hyp'herbelin
2003-06-19Ajout 'Symmetry in Hyp'; chgt syntaxe 'change ... with ...'herbelin
2003-06-19addfilliatr
2003-06-19bal: preuve termineefilliatr
2003-06-19bal: premier cas hl > hr + 2filliatr
2003-06-19undo de "Time tactic"filliatr
2003-06-19typofilliatr
2003-06-18*** empty log message ***monate
2003-06-18AVL: suitefilliatr
2003-06-18Arguments superflus pour Zlength_nilherbelin
2003-06-17Ajout option Local aux Hintherbelin
2003-06-17AVL: suitefilliatr
2003-06-17AVL de caml: un debutfilliatr
2003-06-17majfilliatr
2003-06-16Ground updatecorbinea
2003-06-16Ground depthfilliatr
2003-06-16ground updatecorbinea
2003-06-16reparation fsets suite a changement de Groundfilliatr
2003-06-15Ground major update ... mmm, sounds exciting !corbinea
2003-06-14ground updatecorbinea
2003-06-14dependcoq integre les fichiers de fsetsletouzey
2003-06-14Major Ground update, may break semanticscorbinea
2003-06-14Ajout option Local à Hint, Hints et HintDestructherbelin
2003-06-14Deplacement de le_minus de fast_integer vers Minusherbelin
2003-06-14Deplacement de le_minus de fast_integer vers Minusherbelin
2003-06-14majfilliatr
2003-06-13changement de spécif du foldletouzey
2003-06-13Ground updatecorbinea
2003-06-13CoqIDE: undo plus efficace sur les inductifsfilliatr
2003-06-13Ground update, new files.corbinea
2003-06-13coqide: indentationmonate
2003-06-13Utilisation de intro_pattern dans NewDestruct/NewInductionherbelin
2003-06-13fcts tail-recursivesfilliatr
2003-06-13Require Exportfilliatr
2003-06-13install-fsetsfilliatr
2003-06-13FSets, mais pas compile' par make worldfilliatr
2003-06-13suite changements ZArith en vu de librairie FSetletouzey
2003-06-13quelques adaptations de Zarith en vu de la nouvelle librarie FSetletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 10:51:41 +0000