| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-02-27 | quelques raccourcis commodes + un f_equal plus efficace | letouzey |
| 2005-08-26 | *** empty log message *** | letouzey |
| 2005-05-17 | Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux... | herbelin |
| 2005-02-23 | quelques tactics ltac | letouzey |
| 2005-02-03 | Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateurs | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |