Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Rustine pour gérer inject_nat | herbelin | 2001-09-12 |
* | Du bon usage des commentaires coqweb | herbelin | 2001-09-11 |
* | Conformité des commentaires au format coqweb | herbelin | 2001-09-11 |
* | ajout option , Exc --> option, et lemmes dans les theories | mohring | 2001-08-29 |
* | Protection des commentaires pour coqtex et coqweb | herbelin | 2001-08-13 |
* | Expérimentation de NewDestruct et parfois NewInduction | herbelin | 2001-08-05 |
* | Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l... | herbelin | 2001-05-31 |
* | Minor layout adjustments for Library doc | coq | 2001-04-23 |
* | Library doc adjustments (until page 140) | coq | 2001-04-20 |
* | remplace Zarith par ZArith | mohring | 2001-04-19 |