| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-01-25 | Redondance erronée dans les tests | herbelin |
| 2007-01-22 | Correction d'un bug d'unification-pattern dans l'algo d'unification | herbelin |
| 2006-11-19 | Raffinement de l'unification de "apply": mémorisation de certains | herbelin |
| 2006-09-12 | Ajout unification pattern dans l'algorithme d'unification des | herbelin |
| 2006-08-28 | Diverses modifications autour de l'unification modulo conversion: | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |