Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Simplifications autour de typed_type (renommé types par analogie avec sorts)... | 2000-10-18 | |
* | Renommage mk_unsafe_judgment en get_judgment_of; ajout get_assumption_of | 2000-06-29 | |
* | Ajout du langage de tactiques | 2000-05-03 | |
* | documentation | 2000-01-28 | |
* | Nouveaux types 'constructor' et 'inductive' dans Term; | 1999-12-15 | |
* | Ajout des messages d'erreurs de Cases | 1999-12-09 | |
* | - global_reference traite des variables | 1999-12-03 | |
* | Retour dans pretyping | 1999-12-01 | |
* | déplacé dans kernel | 1999-12-01 | |
* | - environment -> safe_environment | 1999-12-01 | |
* | Version initiale | 1999-11-26 |