aboutsummaryrefslogtreecommitdiff
path: root/tactics/autorewrite.ml
AgeCommit message (Expand)Author
2000-12-19AutoRewrite n'ecrit plus de valeurs fonctionnelles sur disquedelahaye
2000-12-02Portage d'AutoRewritedelahaye
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 12:50:43 +0000