aboutsummaryrefslogtreecommitdiff
path: root/tactics/EqDecide.v
AgeCommit message (Expand)Author
2002-05-29Fichiers tactics/*.ml4 remplacent les tactics/*.vherbelin
2001-03-15entetesfilliatr
2001-02-06EqDecidefilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 16:51:35 +0000