aboutsummaryrefslogtreecommitdiff
path: root/tactics/btermdn.ml
AgeCommit message (Expand)Author
2001-03-15entetesfilliatr
2000-04-28Déplacement du type reference dans Termherbelin
2000-04-26Introduction d'un type constr_pattern pour les différents filtragesherbelin
2000-04-26Nettoyageherbelin
1999-11-19discriminations netsfilliatr