Commit message (Expand) | Author | Age | |
---|---|---|---|
* | commit accidentel d'une bidouille | letouzey | 2003-09-22 |
* | tentative de rafraichissement de Setoid Ring | letouzey | 2003-09-22 |
* | Protection des tactiques contre l'utilisation sans le bon contexte de thories | herbelin | 2002-06-03 |
* | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | herbelin | 2002-05-29 |