aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/retyping.mli
Commit message (Expand)AuthorAge
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* Renommage mk_unsafe_judgment en get_judgment_of; ajout get_assumption_ofGravatar herbelin2000-06-29
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* documentationGravatar filliatr2000-01-28
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* Ajout des messages d'erreurs de CasesGravatar herbelin1999-12-09
* - global_reference traite des variablesGravatar filliatr1999-12-03
* Retour dans pretypingGravatar herbelin1999-12-01
* déplacé dans kernelGravatar herbelin1999-12-01
* - environment -> safe_environmentGravatar filliatr1999-12-01
* Version initialeGravatar herbelin1999-11-26